From 353eb6f3231c0d1518f70df3f6d1e605abf61392 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 16 Nov 2012 19:05:36 +0000
Subject: [PATCH] Fix dumping of array-select expressions in CVC native
 language. Thanks to Wei for the bug report.

---
 src/printer/cvc/cvc_printer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 << ']';
-- 
2.30.2