Disabling the variable removal hueristic by default.

diff --git a/src/util/options.cpp b/src/util/options.cpp
index 38dcf12c966da2da069d1b9dd4ea45cc67f10f3f..9c438a5cdaf8b4f66cdd2578b82f96e91fa4ba1c 100644 (file)
--- 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\