From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 6 Dec 2011 00:38:33 +0000 (+0000)
Subject: oops, removing some integer operations that leaked in (they aren't part of trunk... 
X-Git-Tag: cvc5-1.0.0~8365
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=78789197b43d0af751b1f345ec91357a293b90f3;p=cvc5.git

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

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 ">";