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; |