diff options
Diffstat (limited to 'src/parser/smt2/smt2.cpp')
| -rw-r--r-- | src/parser/smt2/smt2.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index ffda05d1a..47ac2a11b 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -837,7 +837,8 @@ Command* Smt2::setLogic(std::string name, bool fromCommand) addTheory(THEORY_SEP); } - Command* cmd = new SetBenchmarkLogicCommand(sygus() ? d_logic.getLogicString() : name); + Command* cmd = + new SetBenchmarkLogicCommand(sygus() ? d_logic.getLogicString() : name); cmd->setMuted(!fromCommand); return cmd; } /* Smt2::setLogic() */ |