1 files changed, 4 insertions, 0 deletions
diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index 01978b2e5..e0c434d5a 100644
--- a/src/printer/cvc/cvc_printer.cpp
+++ b/src/printer/cvc/cvc_printer.cpp
@@ -780,6 +780,10 @@ void CvcPrinter::toStream(std::ostream& out, TNode n, int depth, bool types, boo
       op << "IS_IN";
       opType = INFIX;
       break;
+    case kind::COMPLIMENT:
+      op << "NOT";
+      opType = PREFIX;
+      break;
     case kind::PRODUCT:
       op << "PRODUCT";
       opType = INFIX;