From 7aefcb9a7c53cfa6a8a8f1d2652bd9d8580819dd Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Wed, 5 May 2010 16:33:47 +0000 Subject: [PATCH] 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 --- src/STPManager/STP.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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(); -- 2.47.3