Fix subtle error in r22602, which never triggers, because we only have 32bit cmovs.
[libfirm] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 3807 gen_init.py
drwxr-xr-x - statev_examples
-rwxr-xr-x 9285 statev_sql.py