diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-11-28 17:23:37 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-11-28 17:23:37 +0000 |
commit | 629d04c45e1606a4d0ecef2717924e839d5daec3 (patch) | |
tree | bd333330d1b09ff63cb2bb949fd9df327fa3b2f4 /src/smt/smt_engine.cpp | |
parent | 16d8379a9a87fe692c6f95a11300b43e4d2cba30 (diff) |
fix: correct misleading comment in dump output
Diffstat (limited to 'src/smt/smt_engine.cpp')
-rw-r--r-- | src/smt/smt_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index eaa1c1643..1b031f645 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -585,7 +585,7 @@ void SmtEngine::finishInit() { // Dump("benchmark") << SetBenchmarkLogicCommand(logic.getLogicString()); LogicInfo everything; everything.lock(); - Dump("benchmark") << CommentCommand("CVC4 always dumps the most general, \"all-supported\" logic (above), as some internals might require the use of a logic more general than the input.") + Dump("benchmark") << CommentCommand("CVC4 always dumps the most general, \"all-supported\" logic (below), as some internals might require the use of a logic more general than the input.") << SetBenchmarkLogicCommand(everything.getLogicString()); } |