diff --git a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
index 0707b3d53cc04a8a413a8b2e1db9a453478d11ee..fae40d7661428af2a8bdb8493efb9643f5bfcd84 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)