diff options
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; |