removing std::cout from trunk

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 14b3e3b42831c9d3fc51a2bbc6df20b367032089..cc645f7b798868cf951335adb6f4bacb96d4f62d 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -1184,7 +1184,6 @@ void SmtEnginePrivate::processAssertions() {
 
   if(Dump.isOn("assertions")) {
     // Push the simplified assertions to the dump output stream
-    cout << "###Finished second removeITEs";
     for (unsigned i = 0; i < d_assertionsToCheck.size(); ++ i) {
       Dump("assertions")
         << AssertCommand(BoolExpr(d_assertionsToCheck[i].toExpr()));