chore: improve clarity in a match expression (#8781)

2025-06-13 17:53:12 -07:00 · 2025-06-13 17:53:12 -07:00 · 444595878b
commit 444595878b
parent 3d3aa98c83
1 changed files with 1 additions and 1 deletions
--- a/src/Lean/Compiler/IR/ResetReuse.lean
+++ b/src/Lean/Compiler/IR/ResetReuse.lean
@ -190,7 +190,7 @@ partial def R (e : FnBody) : M FnBody := do
            return alt
          else
            .ctor c <$> D x c b
-        | _ => return alt
+        | .default _ => return alt
      return .case tid x xType alts
  | .jdecl j ys v b =>
    let v ← R v