diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-11-16 19:05:36 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-11-16 19:05:36 +0000 |
| commit | 353eb6f3231c0d1518f70df3f6d1e605abf61392 (patch) | |
| tree | 631e6455f316ea5725ead9b13f16b1936a78e4ed /src/printer/cvc | |
| parent | efedf8ef67f1b52b15aab101156085b165de7a6f (diff) | |
Fix dumping of array-select expressions in CVC native language.
Thanks to Wei for the bug report.
Diffstat (limited to 'src/printer/cvc')
| -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 14347ff8e..8476b6239 100644 --- a/src/printer/cvc/cvc_printer.cpp +++ b/src/printer/cvc/cvc_printer.cpp @@ -331,7 +331,7 @@ void CvcPrinter::toStream(std::ostream& out, TNode n, int depth, bool types, boo return; break; case kind::SELECT: - toStream(out, n[0], depth, types, false); + toStream(out, n[0], depth, types, true); out << '['; toStream(out, n[1], depth, types, false); out << ']'; |