diff --git a/src/main/scala/leon/purescala/Definitions.scala b/src/main/scala/leon/purescala/Definitions.scala
index f2da8a7cef1f1f3b0290a35a260f40ceefbf6705..df83d6b197faee4ec2a398987268a4d46afd0b50 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]