chore: remove unused code in comment (#9687)

2025-08-02 08:18:41 -07:00 · 2025-08-02 08:18:41 -07:00 · b60f97cc19
commit b60f97cc19
parent ab946fdf2c
1 changed files with 0 additions and 3 deletions
--- a/src/Lean/Compiler/LCNF/Simp/Main.lean
+++ b/src/Lean/Compiler/LCNF/Simp/Main.lean
@ -156,9 +156,6 @@ partial def inlineApp? (letDecl : LetDecl) (k : Code) : SimpM (Option Code) := d
        code.bind fun fvarId' => do
          markUsedFVar fvarId'
          simpK fvarId'
-      -- else if info.ifReduce then
-      --  eraseCode code
-      --  return none
      else
        markSimplified
        let expectedType ← inferAppType info.fType info.args[*...info.arity]