diff options
-rw-r--r-- | src/smt/smt_engine.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 14b3e3b42..cc645f7b7 100644 --- 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())); |