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 167f589224327e8698b56372132b914ca8d394c9..f3f06a5b6b99bf5c9f0ff514a5cd21cff3cb59b5 100644 (file)
--- 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