diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 013ae1cf5ce21156271ad66f6482a2716c125e88..fa6773881632c1187c005ed90955b519cfbf274e 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]()
       }