diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-12-16 18:04:47 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-12-16 18:05:24 -0500 |
commit | 92d9c961aeb90531ca56d4014f4679d0241a6148 (patch) | |
tree | fb46d8718cfcd767bd8370f3faeae130109ba0a7 /src/smt | |
parent | fafb7f90f35941a72957dcc9ca5e45afd066cf04 (diff) |
Fix oversight in dumping assertions in preprocessing.
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/smt_engine.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
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; |