diff --git a/src/main/scala/leon/synthesis/rules/IntroduceRecCalls.scala b/src/main/scala/leon/synthesis/rules/IntroduceRecCalls.scala
index 4caaf2ab6474607bc1cf394a3ac2ceae91d4fab5..d19debedc5ae6aa9fb9df642da87d9951b6e8e90 100644
--- a/src/main/scala/leon/synthesis/rules/IntroduceRecCalls.scala
+++ b/src/main/scala/leon/synthesis/rules/IntroduceRecCalls.scala
@@ -62,8 +62,8 @@ case object IntroduceRecCalls extends NormalizingRule("Introduce rec. calls") {
 
     val onSuccess = forwardMap { e =>
       recs.map(_._1).zip(calls).foldRight(e) {
-        case ( (id, call), e) =>
-          Let(id, call, e)
+        case ( (id, call), bd) =>
+          Let(id, call, bd)
       }
     }