diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -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 5d514744f..0acd81248 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -1102,7 +1102,9 @@ void SmtEnginePrivate::processAssertions() { // begin: INVARIANT to maintain: no reordering of assertions or // introducing new ones +#ifdef CVC4_ASSERTIONS unsigned iteRewriteAssertionsEnd = d_assertionsToCheck.size(); +#endif Trace("smt") << "SmtEnginePrivate::processAssertions() POST SIMPLIFICATION" << endl; Debug("smt") << " d_assertionsToPreprocess: " << d_assertionsToPreprocess.size() << endl; |