From 444595878b72c8ef94eedb808e6fce4e819b079e Mon Sep 17 00:00:00 2001
From: Cameron Zwarich <cameron@lean-fro.org>
Date: Fri, 13 Jun 2025 17:53:12 -0700
Subject: [PATCH] chore: improve clarity in a match expression (#8781)

---
 src/Lean/Compiler/IR/ResetReuse.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Lean/Compiler/IR/ResetReuse.lean b/src/Lean/Compiler/IR/ResetReuse.lean
index d4fc66404c..e187700717 100644
--- 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