Perennial problem with svn. Does not give me the list of all modified files before...

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 95a8894d7e3576641617977d812817e12fc79fe6..820877a5990d18aed2da5aea4ac971ab70a2a582 100644 (file)
--- 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();