Fix oversight in dumping assertions in preprocessing.

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 659051725abad46ae504b780daf3f87ed9fb92af..918d6f30d1f88eb626517ff7f4d9bf9c6b9e8e77 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -2707,6 +2707,8 @@ bool SmtEnginePrivate::simplifyAssertions()
 
     Trace("simplify") << "SmtEnginePrivate::simplify()" << endl;
 
+    dumpAssertions("pre-nonclausal", d_assertions);
+
     if(options::simplificationMode() != SIMPLIFICATION_MODE_NONE) {
       // Perform non-clausal simplification
       Chat() << "...performing nonclausal simplification..." << endl;