From 2563fda777d79d220a1da4352ff120df33178dc9 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 13 Oct 2022 04:22:19 -0700
Subject: [PATCH] feat: enable eager lambda lifting

---
 src/Lean/Compiler/LCNF/Passes.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Lean/Compiler/LCNF/Passes.lean b/src/Lean/Compiler/LCNF/Passes.lean
index 794d969f8a..3b9dd01b36 100644
--- a/src/Lean/Compiler/LCNF/Passes.lean
+++ b/src/Lean/Compiler/LCNF/Passes.lean
@@ -50,7 +50,7 @@ def builtinPassManager : PassManager := {
     pullFunDecls,
     reduceJpArity,
     simp { etaPoly := true, inlinePartial := true, implementedBy := true } (occurrence := 1),
-    -- eagerLambdaLifting,
+    eagerLambdaLifting,
     specialize,
     simp (occurrence := 2),
     cse,