1 files changed, 0 insertions, 8 deletions
diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index 1f147479d..1df59adc4 100644
--- a/src/printer/cvc/cvc_printer.cpp
+++ b/src/printer/cvc/cvc_printer.cpp
@@ -101,11 +101,6 @@ void CvcPrinter::toStream(std::ostream& out, TNode n, int depth, bool types, boo
       }
       break;
     }
-    case kind::CONST_PSEUDOBOOLEAN: {
-      const Pseudoboolean& num = n.getConst<Pseudoboolean>();
-      out << num;
-      break;
-    }
     case kind::SUBRANGE_TYPE:
       out << '[' << n.getConst<SubrangeBounds>() << ']';
       break;
@@ -123,9 +118,6 @@ void CvcPrinter::toStream(std::ostream& out, TNode n, int depth, bool types, boo
       case BOOLEAN_TYPE:
         out << "BOOLEAN";
         break;
-      case PSEUDOBOOLEAN_TYPE:
-        out << "PSEUDOBOOLEAN";
-        break;
       case KIND_TYPE:
         out << "TYPE";
         break;