diff options
-rw-r--r-- | src/util/options.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/util/options.cpp b/src/util/options.cpp index 38dcf12c9..9c438a5cd 100644 --- a/src/util/options.cpp +++ b/src/util/options.cpp @@ -83,7 +83,7 @@ Options::Options() : replayFilename(""), replayStream(NULL), replayLog(NULL), - variableRemovalEnabled(true), + variableRemovalEnabled(false), arithPropagation(true), satRandomFreq(0.0), satRandomSeed(91648253),// Minisat's default value @@ -140,6 +140,8 @@ static const string optionsDescription = "\ --disable-symmetry-breaker turns off UF symmetry breaker (Deharbe et al., CADE 2011)\n\ --incremental | -i enable incremental solving\n"; +#warning "Change CL options as --disable-variable-removal cannot do anything currently." + static const string languageDescription = "\ Languages currently supported as arguments to the -L / --lang option:\n\ auto attempt to automatically determine the input language\n\ |