From 70fa92df0e5f9475f17b1a3db43467c4b51954f1 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 19 Jun 2015 19:07:52 +0200
Subject: [PATCH] Variable in Ensuring lambda should have type of body
---
src/main/scala/leon/frontends/scalac/CodeExtraction.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
index 0c81ec1d4..cc27bbc3b 100644
--- a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
+++ b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
@@ -1077,7 +1077,7 @@ trait CodeExtraction extends ASTExtractors {
val closure = post.getType match {
case BooleanType =>
- val resId = FreshIdentifier("res", BooleanType).setPos(post).setOwner(currentFunDef)
+ val resId = FreshIdentifier("res", b.getType).setPos(post).setOwner(currentFunDef)
Lambda(Seq(LeonValDef(resId)), post).setPos(post)
case _ => post
}
--
GitLab