diff options
-rw-r--r-- | src/parser/smt2/smt2.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index 88e4d8d50..de4ddde20 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -559,14 +559,17 @@ Command* Smt2::setLogic(std::string name, bool fromCommand) addTheory(THEORY_SEP); } + Command* cmd = nullptr; if (sygus()) { - return new SetBenchmarkLogicCommand(d_logic.getLogicString()); + cmd = new SetBenchmarkLogicCommand(d_logic.getLogicString()); } else { - return new SetBenchmarkLogicCommand(name); + cmd = new SetBenchmarkLogicCommand(name); } + cmd->setMuted(true); + return cmd; } /* Smt2::setLogic() */ void Smt2::setInfo(const std::string& flag, const SExpr& sexpr) { |