From 78789197b43d0af751b1f345ec91357a293b90f3 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 6 Dec 2011 00:38:33 +0000 Subject: [PATCH] oops, removing some integer operations that leaked in (they aren't part of trunk yet) --- src/printer/smt2/smt2_printer.cpp | 4 ---- 1 file changed, 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 ">"; -- 2.30.2