From 15bd06d2a4304d7bd721cdc411b42115817a4c60 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 12 May 2016 12:39:55 +0200
Subject: [PATCH] Make this more readable
---
src/main/scala/leon/synthesis/rules/IntroduceRecCalls.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/synthesis/rules/IntroduceRecCalls.scala b/src/main/scala/leon/synthesis/rules/IntroduceRecCalls.scala
index 4caaf2ab6..d19debedc 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)
}
}
--
GitLab