diff options
Diffstat (limited to 'src/printer/cvc/cvc_printer.cpp')
-rw-r--r-- | src/printer/cvc/cvc_printer.cpp | 5 |
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; } |