From 4a69f126fb2301f8da2db3841e1362aacb59362c Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 3 Oct 2014 13:09:39 -0400 Subject: [PATCH] Minor fixes to CVC printer. --- src/printer/cvc/cvc_printer.cpp | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp index 9b3e83578..3f93106a0 100644 --- a/src/printer/cvc/cvc_printer.cpp +++ b/src/printer/cvc/cvc_printer.cpp @@ -152,6 +152,9 @@ void CvcPrinter::toStream(std::ostream& out, TNode n, int depth, bool types, boo case BOOLEAN_TYPE: out << "BOOLEAN"; break; + case STRING_TYPE: + out << "STRING"; + break; default: out << tc; break; @@ -162,15 +165,13 @@ void CvcPrinter::toStream(std::ostream& out, TNode n, int depth, bool types, boo out << n.getConst().getName(); break; - case kind::EMPTYSET: { + case kind::EMPTYSET: out << "{} :: " << n.getConst().getType(); - return; break; - } default: - // fall back on whatever operator<< does on underlying type; we - // might luck out and print something reasonable + // Fall back to whatever operator<< does on underlying type; we + // might luck out and print something reasonable. kind::metakind::NodeValueConstPrinter::toStream(out, n); } -- 2.30.2