Fix comment in SmtEngine.

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 105ab9749ba140881e0a43d9c846fd9578c9104d..2a12b07deb0d82400d13ee869151d46ed2a764a6 100644 (file)
--- 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() {