diff options
| -rw-r--r-- | src/util/options.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/options.cpp b/src/util/options.cpp index 337eba9b6..32be9d6c9 100644 --- a/src/util/options.cpp +++ b/src/util/options.cpp @@ -123,7 +123,7 @@ static const string optionsDescription = "\ --pivot-rule=RULE change the pivot rule (see --pivot-rule help)\n\ --random-freq=P sets the frequency of random decisions in the sat solver(P=0.0 by default)\n\ --random-seed=S sets the random seed for the sat solver\n\ - --variable-removal-enables enable permanent removal of variables in arithmetic (UNSAFE! experts only)\n\ + --enable-variable-removal enable permanent removal of variables in arithmetic (UNSAFE! experts only)\n\ --enable-arithmetic-propagation turns on arithmetic propagation\n\ --incremental enable incremental solving\n"; @@ -282,7 +282,7 @@ static struct option cmdlineOptions[] = { { "pivot-rule" , required_argument, NULL, PIVOT_RULE }, { "random-freq" , required_argument, NULL, RANDOM_FREQUENCY }, { "random-seed" , required_argument, NULL, RANDOM_SEED }, - { "enable-variable-removel", no_argument, NULL, ENABLE_VARIABLE_REMOVAL }, + { "enable-variable-removal", no_argument, NULL, ENABLE_VARIABLE_REMOVAL }, { "enable-arithmetic-propagation", no_argument, NULL, ARITHMETIC_PROPAGATION }, { NULL , no_argument , NULL, '\0' } };/* if you add things to the above, please remember to update usage.h! */ |