diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-12-06 00:38:33 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-12-06 00:38:33 +0000 |
commit | 78789197b43d0af751b1f345ec91357a293b90f3 (patch) | |
tree | 171ad54c78024a0b4dc97bbc2762c3db3f1e5a44 /src/printer | |
parent | 00dc8a9ee3e893e86ccbcdf192617793b2754eb1 (diff) |
oops, removing some integer operations that leaked in (they aren't part of trunk yet)
Diffstat (limited to 'src/printer')
-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 ">"; |