oops, removing some integer operations that leaked in (they aren't part of trunk...

diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp
index 43649aa21c3000b3f3e1f980b525680cff59b735..393ad664b1d49f92a00fa8b647bed75e42fffd48 100644 (file)
--- 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 ">";