diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-21 14:30:32 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-21 16:25:13 -0400 |
| commit | ed40bbae19622ff29e1ca6eb873d20262ed21926 (patch) | |
| tree | a3f1954f8311cf96a5a30eadf59786e80b8693c4 /src/parser/smt2/smt2.cpp | |
| parent | 332772cb9ec225587d2107881d3b6f119e332b84 (diff) | |
Add the ability to "mute" commands, needed for SMT-LIB compliance.
Diffstat (limited to 'src/parser/smt2/smt2.cpp')
| -rw-r--r-- | src/parser/smt2/smt2.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index e1f977890..5d104531f 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -290,7 +290,9 @@ void Smt2::checkThatLogicIsSet() { setLogic("ALL_SUPPORTED"); - preemptCommand(new SetBenchmarkLogicCommand("ALL_SUPPORTED")); + Command* c = new SetBenchmarkLogicCommand("ALL_SUPPORTED"); + c->setMuted(true); + preemptCommand(c); } } } |