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