diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-02 14:08:04 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-02 14:08:04 -0400 |
| commit | c9e861d2a6964633d12448966e979299c8793466 (patch) | |
| tree | 049fcfff982a5fef23f34553210cad95222418f4 /src | |
| parent | 0d4a075f5154051d64d81605f023c6d6db8a6550 (diff) | |
Fix comment in SmtEngine.
Diffstat (limited to 'src')
| -rw-r--r-- | src/smt/smt_engine.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 105ab9749..2a12b07de 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -4003,8 +4003,6 @@ void SmtEngine::pop() throw(ModalException) { << d_userContext->getLevel() << endl; // FIXME: should we reset d_status here? // SMT-LIBv2 spec seems to imply no, but it would make sense to.. - // Still, we want the right exit status after any final sequence - // of pops... hm. } void SmtEngine::internalPush() { |