projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
0d4a075
)
Fix comment in SmtEngine.
author
Morgan Deters
<mdeters@cs.nyu.edu>
Thu, 2 Oct 2014 18:08:04 +0000
(14:08 -0400)
committer
Morgan Deters
<mdeters@cs.nyu.edu>
Thu, 2 Oct 2014 18:08:04 +0000
(14:08 -0400)
src/smt/smt_engine.cpp
patch
|
blob
|
history
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() {