From 33db98394c0c41f3f365606cf0f6fb7feb3a1bac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Tue, 27 Mar 2012 14:36:57 +0000
Subject: [PATCH] fix a bug in unit elimination
---
src/main/scala/leon/UnitElimination.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/scala/leon/UnitElimination.scala b/src/main/scala/leon/UnitElimination.scala
index b5bc04253..6df2aee86 100644
--- a/src/main/scala/leon/UnitElimination.scala
+++ b/src/main/scala/leon/UnitElimination.scala
@@ -92,8 +92,10 @@ object UnitElimination extends Pass {
fun2FreshFun -= fd
(freshFunDef, restRec)
} else {
+ fun2FreshFun += (fd -> fd)
fd.body = Some(removeUnit(fd.getBody))
val restRec = removeUnit(b)
+ fun2FreshFun -= fd
(fd, restRec)
}
LetDef(newFd, rest)
--
GitLab