From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sat, 15 Oct 2011 13:45:09 +0000 (+0000)
Subject: Fix the prior checkin. I left a debug message turned on.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=f067e1769083e3f4744d7a73cab47715fdaa9a8e;p=francis%2Fstp.git

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 c6bfdee..476a961 100644
--- 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
 		            {