diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 328a20c28..7aebb60f6 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -1877,8 +1877,7 @@ bool SmtEnginePrivate::nonClausalSimplify() { d_assertionsToCheck[d_substitutionsIndex] = Rewriter::rewrite(Node(substitutionsBuilder)); } - } - else { + } else { // If not in incremental mode, must add substitutions to model TheoryModel* m = d_smt.d_theoryEngine->getModel(); if(m != NULL) { |