diff options
Diffstat (limited to 'src/printer/smt2/smt2_printer.cpp')
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 18 |
1 files changed, 2 insertions, 16 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index cf3f68308..e6aff1ace 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -1363,23 +1363,9 @@ void Smt2Printer::toStreamCmdPop(std::ostream& out) const out << "(pop 1)" << std::endl; } -void Smt2Printer::toStreamCmdCheckSat(std::ostream& out, Node n) const +void Smt2Printer::toStreamCmdCheckSat(std::ostream& out) const { - if (!n.isNull()) - { - toStreamCmdPush(out); - out << std::endl; - toStreamCmdAssert(out, n); - out << std::endl; - toStreamCmdCheckSat(out); - out << std::endl; - toStreamCmdPop(out); - } - else - { - out << "(check-sat)"; - } - out << std::endl; + out << "(check-sat)" << std::endl; } void Smt2Printer::toStreamCmdCheckSatAssuming( |