Fix printing of EXISTS in CVC language printer

diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index ecc224026599bf432b10e30deeb870515d7b4eb5..e0d4656f4422db0fa3db11cf7ef03e20d59e1066 100644 (file)
--- a/src/printer/cvc/cvc_printer.cpp
+++ b/src/printer/cvc/cvc_printer.cpp
@@ -677,7 +677,7 @@ void CvcPrinter::toStream(std::ostream& out, TNode n, int depth, bool types, boo
       toStream(out, n[1], depth, types, false);
       out << ')';
       // TODO: user patterns?
-      break;
+      return;
     case kind::INST_CONSTANT:
       out << "INST_CONSTANT";
       break;