From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 5 May 2010 16:33:47 +0000 (+0000)
Subject: Perennial problem with svn. Does not give me the list of all modified files before... 
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=7aefcb9a7c53cfa6a8a8f1d2652bd9d8580819dd;p=francis%2Fstp.git

Perennial problem with svn. Does not give me the list of all modified files before check-in, and hence I end up checking-in experimental code. Fixed minor mod in STP.cpp

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@746 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/src/STPManager/STP.cpp b/src/STPManager/STP.cpp
index 95a8894..820877a 100644
--- a/src/STPManager/STP.cpp
+++ b/src/STPManager/STP.cpp
@@ -126,9 +126,7 @@ namespace BEEV {
     bm->ASTNodeStats("Before SimplifyWrites_Inplace begins: ", 
                      simplified_solved_InputToSAT);
 
-    //Vijay
-    //bm->SimplifyWrites_InPlace_Flag = true;
-    bm->SimplifyWrites_InPlace_Flag = false;
+    bm->SimplifyWrites_InPlace_Flag = true;    
     bm->Begin_RemoveWrites = false;
     bm->start_abstracting = false;
     bm->TermsAlreadySeenMap_Clear();