diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2012-12-15 20:58:31 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2012-12-15 20:58:31 -0500 |
| commit | 8a2063a618acd003dae53f6b6eb5603fb354becf (patch) | |
| tree | 44c73b58b6ef804fff2d36e1a6e32f839c0c9218 /src/printer | |
| parent | 7d0625db683e06cc55b8ffa2f56a8b26e6bb7427 (diff) | |
Fix printing of EXISTS in CVC language printer
Diffstat (limited to 'src/printer')
| -rw-r--r-- | src/printer/cvc/cvc_printer.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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; |