From 0a7ec5db72a0baa624a0103ae8618d6379e35a76 Mon Sep 17 00:00:00 2001
From: ahorn <alex.horn@cs.ox.ac.uk>
Date: Mon, 19 May 2014 20:44:24 +0100
Subject: Rename command line option for equality substitutions

---
 lib/Core/Executor.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib/Core')

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index fb1a6698..9a3fbaa0 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -165,9 +165,9 @@ namespace {
                      cl::init(false));
 
   cl::opt<bool>
-  SimplifyExpressions("simplify-expressions",
+  EqualitySubstitution("equality-substitution",
                      cl::init(true),
-                     cl::desc("Simplify symbolic expressions before querying the solver (default=on)."));
+                     cl::desc("Simplify equality expressions before querying the solver (default=on)."));
 
   cl::opt<unsigned>
   MaxSymArraySize("max-sym-array-size",
@@ -338,7 +338,7 @@ Executor::Executor(const InterpreterOptions &opts,
                          interpreterHandler->getOutputFilename(ALL_QUERIES_PC_FILE_NAME),
                          interpreterHandler->getOutputFilename(SOLVER_QUERIES_PC_FILE_NAME));
   
-  this->solver = new TimingSolver(solver, SimplifyExpressions);
+  this->solver = new TimingSolver(solver, EqualitySubstitution);
 
   memory = new MemoryManager();
 }
-- 
cgit 1.4.1