From 8a2063a618acd003dae53f6b6eb5603fb354becf Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 15 Dec 2012 20:58:31 -0500
Subject: [PATCH] Fix printing of EXISTS in CVC language printer

---
 src/printer/cvc/cvc_printer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index ecc224026..e0d4656f4 100644
--- 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;
-- 
2.30.2