From c206e0ebe6c6cef542026962904e5830aeb22c1e Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 23 Mar 2015 18:12:31 +0100
Subject: [PATCH] Give .holds expressions a position (not ideal)
---
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 0707b3d53..fae40d766 100644
--- a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
+++ b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
@@ -1071,7 +1071,7 @@ trait CodeExtraction extends ASTExtractors {
case t @ ExHoldsExpression(body) =>
val resId = FreshIdentifier("holds", BooleanType).setPos(current.pos).setOwner(currentFunDef)
- val post = Lambda(Seq(LeonValDef(resId)), Variable(resId).setPos(current.pos))
+ val post = Lambda(Seq(LeonValDef(resId)), Variable(resId)).setPos(current.pos)
val b = try {
extractTree(body)
--
GitLab