diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-09-06 16:42:44 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-06 18:42:44 -0500 |
commit | 856701f3b2154646eab6b7898fa33e5917322a7b (patch) | |
tree | 497b4dd461907966316651299ae746494db53e8e /src/printer | |
parent | 91a5055015a97935d19b3dbf18062e189268a1f9 (diff) |
Remove parsing/printing of meta-info command. (#3260)
Diffstat (limited to 'src/printer')
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index e02d308da..bd2d053e5 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -1835,11 +1835,7 @@ static void toStream(std::ostream& out, const SetBenchmarkStatusCommand* c, Variant v) { - if(v == z3str_variant || v == smt2_0_variant) { - out << "(set-info :status " << c->getStatus() << ")"; - } else { - out << "(meta-info :status " << c->getStatus() << ")"; - } + out << "(set-info :status " << c->getStatus() << ")"; } static void toStream(std::ostream& out, @@ -1856,12 +1852,7 @@ static void toStream(std::ostream& out, static void toStream(std::ostream& out, const SetInfoCommand* c, Variant v) { - if(v == z3str_variant || v == smt2_0_variant) { - out << "(set-info :" << c->getFlag() << " "; - } else { - out << "(meta-info :" << c->getFlag() << " "; - } - + out << "(set-info :" << c->getFlag() << " "; SExpr::toStream(out, c->getSExpr(), variantToLanguage(v)); out << ")"; } |