fix test

leanprover-community · Nov 19, 2024 · 9762792 · 9762792
1 parent 186b678
commit 9762792
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/BatteriesTest/show_term.lean b/BatteriesTest/show_term.lean
@@ -11,7 +11,7 @@ Authors: Kim Morrison
     exact n
     exact 37
 
-/-- info: Try this: refine (?fst, ?snd) -/
+/-- info: Try this: refine (?_, ?_) -/
 #guard_msgs in example : Nat × Nat := by
   show_term constructor
   repeat exact 42