Set position in FieldAccessors phase

epfl-lara · Feb 7, 2020 · 911fd34 · 911fd34
1 parent eb1b5bb
commit 911fd34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/src/main/scala/stainless/extraction/methods/FieldAccessors.scala b/core/src/main/scala/stainless/extraction/methods/FieldAccessors.scala
@@ -33,7 +33,7 @@ trait FieldAccessors extends oo.CachingPhase
       case FunctionInvocation(id, tps, args) if isConcreteAccessor(symbols.getFunction(id)) =>
         val tfd = symbols.getFunction(id, tps)
         transform(s.exprOps.freshenLocals(
-          s.exprOps.replaceFromSymbols((tfd.params zip args).toMap, tfd.fullBody)))
+          s.exprOps.replaceFromSymbols((tfd.params zip args).toMap, tfd.fullBody))).setPos(e)
       case other => super.transform(other)
     }