From e65d3082233d8892cd85b235529ba634735c718c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Fri, 4 May 2012 13:54:31 +0200
Subject: [PATCH] drop the setType in varDecl.toVariable, should not be needed
---
src/main/scala/leon/purescala/Definitions.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/Definitions.scala b/src/main/scala/leon/purescala/Definitions.scala
index f2da8a7ce..df83d6b19 100644
--- a/src/main/scala/leon/purescala/Definitions.scala
+++ b/src/main/scala/leon/purescala/Definitions.scala
@@ -30,7 +30,7 @@ object Definitions {
case _ => false
}
- def toVariable : Variable = Variable(id).setType(tpe)
+ def toVariable : Variable = Variable(id)//.setType(tpe)
}
type VarDecls = Seq[VarDecl]
--
GitLab