From ebadfbce8837a4762045c6868de88fefe825a724 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Fri, 26 Oct 2012 19:26:49 +0200
Subject: [PATCH] Make sure position is set
---
src/main/scala/leon/purescala/Trees.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index 4ba80bdc8..3cb5280ed 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 */
--
GitLab