No semantic change. Fix a mistake that caused no effect.

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

diff --git a/src/simplifier/simplifier.cpp b/src/simplifier/simplifier.cpp
index 5e5f46b69e42f42084b99aa0bc4a54ce3d0a2fe0..dfc5ee6b9da3c83c07ec372e5d585b3dc15d00cb 100644 (file)
--- a/src/simplifier/simplifier.cpp
+++ b/src/simplifier/simplifier.cpp
@@ -1746,8 +1746,8 @@ namespace BEEV
                if (pulledUp != inputterm)
                  {
                        ASTNode r = SimplifyTerm(pulledUp);
-                       UpdateSimplifyMap(actualInputterm,r,NULL);
-                       UpdateSimplifyMap(inputterm,r,NULL);
+                       UpdateSimplifyMap(actualInputterm,r,false,NULL);
+                       UpdateSimplifyMap(inputterm,r,false,NULL);
                        return r;
                  }
     }