From a5dadfdb7aa7af730051812da0b94cb1166d9e58 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 7 Nov 2022 16:17:31 -0800
Subject: [PATCH] feat: activate all passes

---
 src/Lean/Compiler/LCNF/Passes.lean | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/Lean/Compiler/LCNF/Passes.lean b/src/Lean/Compiler/LCNF/Passes.lean
index 3bfee21ea7..33aefdc4b8 100644
--- a/src/Lean/Compiler/LCNF/Passes.lean
+++ b/src/Lean/Compiler/LCNF/Passes.lean
@@ -45,7 +45,6 @@ def builtinPassManager : PassManager := {
     init,
     pullInstances,
     cse,
-/-
     simp,
     floatLetIn,
     findJoinPoints,
@@ -56,9 +55,7 @@ def builtinPassManager : PassManager := {
     specialize,
     simp (occurrence := 2),
     cse (occurrence := 1),
--/
     saveBase, -- End of base phase
-/-
     toMono,
     simp (occurrence := 3) (phase := .mono),
     reduceJpArity (phase := .mono),
@@ -72,7 +69,6 @@ def builtinPassManager : PassManager := {
     extendJoinPointContext (phase := .mono) (occurrence := 1),
     simp (occurrence := 5) (phase := .mono),
     cse (occurrence := 2) (phase := .mono),
--/
     saveMono  -- End of mono phase
   ]
 }