Correct the last patch. I don't think this code runs.

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

diff --git a/src/simplifier/simplifier.cpp b/src/simplifier/simplifier.cpp
index 4102c5b2d63c91aafcdcd05f1857ebf641a03cf7..167f589224327e8698b56372132b914ca8d394c9 100644 (file)
--- a/src/simplifier/simplifier.cpp
+++ b/src/simplifier/simplifier.cpp
@@ -2983,7 +2983,7 @@ namespace BEEV
 
           //process only if not  in the substitution map. simplifymap
           //has been checked already
-          if (!CheckSubstitutionMap(out1, out1) && out1.GetType() == READ && WRITE == out1[0].GetKind())
+          if (!CheckSubstitutionMap(out1, out1) && out1.GetKind() == READ && WRITE == out1[0].GetKind())
               out1 = RemoveWrites_TopLevel(inputterm);
 
           //it is possible that after all the procesing the READ term