diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-03 15:15:45 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-03 15:15:45 -0400 |
| commit | 9323af51596eece5107b6ee4f7423ad56c9385b8 (patch) | |
| tree | 65675635487223e5e679dd49cf8703ae1752ef19 /src/printer/cvc | |
| parent | 6294adeb83155c54539b2d2d31fa9e3a5b6f1a00 (diff) | |
| parent | 65f0dc22fe49c6c388e9413f3b7541d7fb49a3b3 (diff) | |
Merge branch '1.4.x'
Conflicts:
NEWS
Diffstat (limited to 'src/printer/cvc')
| -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 2d89d3aff..ed5116bc6 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,11 +165,9 @@ 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; - } case kind::STORE_ALL: { const ArrayStoreAll& asa = n.getConst<ArrayStoreAll>(); @@ -176,8 +177,8 @@ void CvcPrinter::toStream(std::ostream& out, TNode n, int depth, bool types, boo } 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); } |