From a81eeba7318f4e72f90a64bbd0beb82e27b27148 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Tue, 4 Oct 2011 22:21:55 +0000
Subject: [PATCH] Disabling the variable removal hueristic by default.

---
 src/util/options.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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\
-- 
2.30.2