From: Tim King <taking@cs.nyu.edu>
Date: Wed, 29 Jun 2011 19:32:04 +0000 (+0000)
Subject: Fixed spelling mistake and documentation for --enable-variable-removal.
X-Git-Tag: cvc5-1.0.0~8530
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b906fe1d71ecb238365ecc8bcca8b5bb1719eb56;p=cvc5.git

Fixed spelling mistake and documentation for --enable-variable-removal.
---

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! */