From c9e861d2a6964633d12448966e979299c8793466 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 2 Oct 2014 14:08:04 -0400
Subject: [PATCH] Fix comment in SmtEngine.

---
 src/smt/smt_engine.cpp | 2 --
 1 file changed, 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() {
-- 
2.30.2