diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-03 13:09:39 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-03 13:10:14 -0400 |
commit | 4a69f126fb2301f8da2db3841e1362aacb59362c (patch) | |
tree | d83fd2e2b65475ce03086ebed0e09d7833e9ed6c | |
parent | f43c1dd87db36cf212b8bdacdf92b872df3839e6 (diff) |
Minor fixes to CVC printer.
-rw-r--r-- | src/printer/cvc/cvc_printer.cpp | 11 |
1 files 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<Datatype>().getName(); break; - case kind::EMPTYSET: { + case kind::EMPTYSET: out << "{} :: " << n.getConst<EmptySet>().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); } |