diff options
| -rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index 43649aa21..393ad664b 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -172,8 +172,6 @@ void Smt2Printer::toStream(std::ostream& out, TNode n, case kind::MINUS: case kind::UMINUS: case kind::DIVISION: - case kind::INTS_DIVISION: - case kind::INTS_MODULUS: case kind::LT: case kind::LEQ: case kind::GT: @@ -286,8 +284,6 @@ static string smtKindString(Kind k) throw() { case kind::MINUS: return "-"; case kind::UMINUS: return "-"; case kind::DIVISION: return "/"; - case kind::INTS_DIVISION: return "div"; - case kind::INTS_MODULUS: return "mod"; case kind::LT: return "<"; case kind::LEQ: return "<="; case kind::GT: return ">"; |