From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 28 Nov 2012 17:23:37 +0000 (+0000)
Subject: fix: correct misleading comment in dump output
X-Git-Tag: cvc5-1.0.0~7543
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=629d04c45e1606a4d0ecef2717924e839d5daec3;p=cvc5.git

fix: correct misleading comment in dump output
---

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());
   }