diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-02 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-02 08:01:00 -0700 |
| commit | 303baf27cf34c2a57db97c4c567fd744241fa14b (patch) | |
| tree | d6235cca48e7bdfe5884e517058c7791e66bb806 /src/misc/espresso/globals.c | |
| parent | fa67e3c19e27c011517b91182eb3929412aaf402 (diff) | |
| download | abc-303baf27cf34c2a57db97c4c567fd744241fa14b.tar.gz abc-303baf27cf34c2a57db97c4c567fd744241fa14b.tar.bz2 abc-303baf27cf34c2a57db97c4c567fd744241fa14b.zip | |
Version abc80702
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} }; |