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

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

(limited to 'src/printer')

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;
-- 
cgit v1.2.3