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.h | |
| 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.h')
| -rw-r--r-- | src/smt/smt_engine_state.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/smt_engine_state.h b/src/smt/smt_engine_state.h index efb86ca88..e58cf235e 100644 --- a/src/smt/smt_engine_state.h +++ b/src/smt/smt_engine_state.h @@ -222,8 +222,8 @@ class SmtEngineState /** * Internal status flag to indicate whether we have been issued a - * notifyCheckSat call and have yet to process the "postsolve" methods of - * SmtEngine via SmtEngine::notifyPostSolvePre/notifyPostSolvePost. + * notifyCheckSat call and have yet to process the + * SmtEngine::notifyPostSolvePre method of SmtEngine. */ bool d_needPostsolve; |