diff options
Diffstat (limited to 'src/expr/expr_template.cpp')
| -rw-r--r-- | src/expr/expr_template.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index 50884f715..132d4bfaa 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -694,8 +694,9 @@ static Node exportConstant(TNode n, NodeManager* to, ExprManagerMapCollection& v // for export so those don't matter. ExprManager* toEm = to->toExprManager(); const ArrayStoreAll& asa = n.getConst<ArrayStoreAll>(); - return to->mkConst(ArrayStoreAll(asa.getType().exportTo(toEm, vmap), - asa.getExpr().exportTo(toEm, vmap))); + return to->mkConst(ArrayStoreAll( + TypeNode::fromType(asa.getType().toType().exportTo(toEm, vmap)), + Node::fromExpr(asa.getValue().toExpr().exportTo(toEm, vmap)))); } switch(n.getKind()) { |