From 1cc595158d562026b02d2adeb59812760f55f901 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Fri, 4 May 2012 13:55:35 +0200
Subject: [PATCH] set the correct type to new params in arrayTransformation
---
src/main/scala/leon/ArrayTransformation.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/ArrayTransformation.scala b/src/main/scala/leon/ArrayTransformation.scala
index 552bf38a3..6a2afc155 100644
--- a/src/main/scala/leon/ArrayTransformation.scala
+++ b/src/main/scala/leon/ArrayTransformation.scala
@@ -21,7 +21,7 @@ object ArrayTransformation extends Pass {
val args = fd.args
if(args.exists(vd => containsArrayType(vd.tpe)) || containsArrayType(fd.returnType)) {
val newArgs = args.map(vd => {
- val freshId = FreshIdentifier(vd.id.name).setType(TupleType(Seq(vd.tpe, Int32Type)))
+ val freshId = FreshIdentifier(vd.id.name).setType(transform(vd.tpe))
id2id += (vd.id -> freshId)
val newTpe = transform(vd.tpe)
VarDecl(freshId, newTpe)
@@ -154,7 +154,7 @@ object ArrayTransformation extends Pass {
val newFd =
if(args.exists(vd => containsArrayType(vd.tpe)) || containsArrayType(fd.returnType)) {
val newArgs = args.map(vd => {
- val freshId = FreshIdentifier(vd.id.name).setType(TupleType(Seq(vd.tpe, Int32Type)))
+ val freshId = FreshIdentifier(vd.id.name).setType(transform(vd.tpe))
id2id += (vd.id -> freshId)
val newTpe = transform(vd.tpe)
VarDecl(freshId, newTpe)
--
GitLab