Fix dumping of array-select expressions in CVC native language.

Thanks to Wei for the bug report.

diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index 14347ff8e72bfd96ef278a308b94914c06083685..8476b6239bf311abdf36dc227ed73a9ef9441751 100644 (file)
--- 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 << ']';