From 92d9c961aeb90531ca56d4014f4679d0241a6148 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 16 Dec 2014 18:04:47 -0500
Subject: [PATCH] Fix oversight in dumping assertions in preprocessing.

---
 src/smt/smt_engine.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 659051725..918d6f30d 100644
--- 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;
-- 
2.30.2