diff options
Diffstat (limited to 'src/smt/smt_engine_state.cpp')
-rw-r--r-- | src/smt/smt_engine_state.cpp | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/smt/smt_engine_state.cpp b/src/smt/smt_engine_state.cpp index 07f1d3321..1a8569b10 100644 --- a/src/smt/smt_engine_state.cpp +++ b/src/smt/smt_engine_state.cpp @@ -287,11 +287,7 @@ void SmtEngineState::doPendingPops() --d_pendingPops; // no need for pop post (for now) } - if (d_needPostsolve) - { - d_smt.notifyPostSolvePost(); - d_needPostsolve = false; - } + d_needPostsolve = false; } } // namespace smt |