diff --git a/tests/lean/rwEqThms.lean.expected.out b/tests/lean/rwEqThms.lean.expected.out
index b16aade4ee..2a26f39731 100644
--- a/tests/lean/rwEqThms.lean.expected.out
+++ b/tests/lean/rwEqThms.lean.expected.out
@@ -4,7 +4,7 @@ as bs : List α
 h : bs = a :: as
 ⊢ List.length (?a_1 :: as) = List.length bs
 
-case a_1
+case a
 α : Type ?u
 a : α
 as bs : List α