From b1c89a93402dad2f52973ba8144ebb4d6bcaa6a3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 24 Oct 2012 17:20:14 -0700
Subject: [PATCH] need to run FunctionClosure pass
---
src/main/scala/leon/Main.scala | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 013ae1cf5..fa6773881 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -80,7 +80,8 @@ object Main {
if (settings.xlang) {
ArrayTransformation andThen
EpsilonElimination andThen
- ImperativeCodeElimination
+ ImperativeCodeElimination andThen
+ FunctionClosure
} else {
NoopPhase[Program]()
}
--
GitLab