diff options
author | Tim King <taking@cs.nyu.edu> | 2011-06-29 19:32:04 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-06-29 19:32:04 +0000 |
commit | b906fe1d71ecb238365ecc8bcca8b5bb1719eb56 (patch) | |
tree | 090ac0bc487e34288101814062e7862bdda593f5 /src/util/options.cpp | |
parent | d5d73d514946ea4a7f5691f46c4d6b9c2776f59d (diff) |
Fixed spelling mistake and documentation for --enable-variable-removal.
Diffstat (limited to 'src/util/options.cpp')
-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! */ |