diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index 4ba80bdc838dd0dbf7633694f24ae1e1683e083e..3cb5280ede5a1dfb10aedf4c5f051480b2866b70 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -44,7 +44,7 @@ object Trees {
   case class Epsilon(pred: Expr) extends Expr with ScalacPositional
 
   case class Choose(vars: List[Identifier], pred: Expr) extends Expr with ScalacPositional with UnaryExtractable {
-    def extract = Some((pred, (e: Expr) => Choose(vars, e)))
+    def extract = Some((pred, (e: Expr) => Choose(vars, e).setPosInfo(this)))
   }
 
   /* Like vals */