1 files changed, 3 insertions, 2 deletions
diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index 216fb0517..900651e1d 100644
--- a/src/printer/cvc/cvc_printer.cpp
+++ b/src/printer/cvc/cvc_printer.cpp
@@ -246,8 +246,9 @@ void CvcPrinter::toStream(
 
     case kind::STORE_ALL: {
       const ArrayStoreAll& asa = n.getConst<ArrayStoreAll>();
-      out << "ARRAY(" << asa.getType().getIndexType() << " OF "
-          << asa.getType().getConstituentType() << ") : " << asa.getExpr();
+      out << "ARRAY(" << asa.getType().getArrayIndexType() << " OF "
+          << asa.getType().getArrayConstituentType()
+          << ") : " << asa.getValue();
       break;
     }