diff --git a/src/Lean/Compiler/LCNF/Passes.lean b/src/Lean/Compiler/LCNF/Passes.lean
index b687124cf7..c50acf1ff5 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,