From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 4 May 2011 02:45:04 +0000 (+0000)
Subject: Another fix to the same
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=a31ca63e959d86fa25ede13722c1351bb04ccff9;p=francis%2Fstp.git

Another fix to the same

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

diff --git a/src/simplifier/simplifier.cpp b/src/simplifier/simplifier.cpp
index 167f589..f3f06a5 100644
--- a/src/simplifier/simplifier.cpp
+++ b/src/simplifier/simplifier.cpp
@@ -2984,7 +2984,7 @@ namespace BEEV
           //process only if not  in the substitution map. simplifymap
           //has been checked already
           if (!CheckSubstitutionMap(out1, out1) && out1.GetKind() == READ && WRITE == out1[0].GetKind())
-              out1 = RemoveWrites_TopLevel(inputterm);
+              out1 = RemoveWrites_TopLevel(out1);
 
           //it is possible that after all the procesing the READ term
           //reduces to READ(Symbol,const) and hence we should check the