Fix the prior checkin. I left a debug message turned on.

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

diff --git a/src/AST/NodeFactory/SimplifyingNodeFactory.cpp b/src/AST/NodeFactory/SimplifyingNodeFactory.cpp
index c6bfdee277c5260bd9ad444da3bffbe3f9f22c43..476a961aa08463cf09c0c2a26dc4fe5329901a31 100644 (file)
--- a/src/AST/NodeFactory/SimplifyingNodeFactory.cpp
+++ b/src/AST/NodeFactory/SimplifyingNodeFactory.cpp
@@ -760,7 +760,7 @@ ASTNode SimplifyingNodeFactory::chaseRead(const ASTVec& children, unsigned int w
                            }
                        else if (n == ASTFalse)
                            {
-                               cerr << "!";
+                               //cerr << "!";
                            }
                        else
                            {