chore: make test more robust

2025-06-02 14:27:22 +02:00 · 2025-06-02 14:27:22 +02:00 · 536c87d73c
commit 536c87d73c
parent c95e058e3c
1 changed files with 2 additions and 1 deletions
--- a/tests/lean/run/invalid_dotted_identifier_prop.lean
+++ b/tests/lean/run/invalid_dotted_identifier_prop.lean
@ -8,9 +8,10 @@ def foo (n : Nat) : Nat :=
  | .true => n
  | .false => 47

+set_option pp.mvars.anonymous false in
 /--
 error: Invalid dotted identifier notation: not supported on type
-  Sort ?u.44
+  Sort _
 -/
 #guard_msgs in
 def foo2 (n : Nat) : Nat :=