diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-09-03 23:46:43 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-09-03 23:46:43 -0700 |
| commit | ed21776f3fdf079ebedaee6882cf6d86c9159dd1 (patch) | |
| tree | cc0399535673536fd1376f647e2c38778066a2e5 /src/smt/smt_engine_state.cpp | |
| parent | c9e23f66383a4d490aca6d082d40117fe799ee4b (diff) | |
Remove unused postsolve infrastructurermPostsolve
The theory property `postsolve` was not used by any of the theories.
This commit removes the property and associated infrastructure.
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 |