diff --git a/src/Lean/Compiler/LCNF/Passes.lean b/src/Lean/Compiler/LCNF/Passes.lean index a49f992f42..795eede4eb 100644 --- a/src/Lean/Compiler/LCNF/Passes.lean +++ b/src/Lean/Compiler/LCNF/Passes.lean @@ -23,8 +23,8 @@ def builtinPassManager : PassManager := { pullInstances, cse, simp, - pullFunDecls, findJoinPoints, + pullFunDecls, reduceJpArity, simp { etaPoly := true, inlinePartial := true, implementedBy := true } (occurrence := 1), specialize,