diff options
Diffstat (limited to 'src/misc/espresso/globals.c')
-rw-r--r-- | src/misc/espresso/globals.c | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/src/misc/espresso/globals.c b/src/misc/espresso/globals.c index d04771e9..2ec1d1db 100644 --- a/src/misc/espresso/globals.c +++ b/src/misc/espresso/globals.c @@ -37,27 +37,27 @@ bool use_super_gasp; /* -strong command line option */ char *filename; /* filename PLA was read from */ struct pla_types_struct pla_types[] = { - "-f", F_type, - "-r", R_type, - "-d", D_type, - "-fd", FD_type, - "-fr", FR_type, - "-dr", DR_type, - "-fdr", FDR_type, - "-fc", F_type | CONSTRAINTS_type, - "-rc", R_type | CONSTRAINTS_type, - "-dc", D_type | CONSTRAINTS_type, - "-fdc", FD_type | CONSTRAINTS_type, - "-frc", FR_type | CONSTRAINTS_type, - "-drc", DR_type | CONSTRAINTS_type, - "-fdrc", FDR_type | CONSTRAINTS_type, - "-pleasure", PLEASURE_type, - "-eqn", EQNTOTT_type, - "-eqntott", EQNTOTT_type, - "-kiss", KISS_type, - "-cons", CONSTRAINTS_type, - "-scons", SYMBOLIC_CONSTRAINTS_type, - 0, 0 + {"-f", F_type}, + {"-r", R_type}, + {"-d", D_type}, + {"-fd", FD_type}, + {"-fr", FR_type}, + {"-dr", DR_type}, + {"-fdr", FDR_type}, + {"-fc", F_type | CONSTRAINTS_type}, + {"-rc", R_type | CONSTRAINTS_type}, + {"-dc", D_type | CONSTRAINTS_type}, + {"-fdc", FD_type | CONSTRAINTS_type}, + {"-frc", FR_type | CONSTRAINTS_type}, + {"-drc", DR_type | CONSTRAINTS_type}, + {"-fdrc", FDR_type | CONSTRAINTS_type}, + {"-pleasure", PLEASURE_type}, + {"-eqn", EQNTOTT_type}, + {"-eqntott", EQNTOTT_type}, + {"-kiss", KISS_type}, + {"-cons", CONSTRAINTS_type}, + {"-scons", SYMBOLIC_CONSTRAINTS_type}, + {0, 0} }; |