From 629d04c45e1606a4d0ecef2717924e839d5daec3 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 28 Nov 2012 17:23:37 +0000 Subject: [PATCH] fix: correct misleading comment in dump output --- src/smt/smt_engine.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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()); } -- 2.30.2