Update test output

leanprover · Feb 25, 2025 · 43d8de8 · 43d8de8
1 parent b14463f
commit 43d8de8
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/tests/lean/run/fixedParams.lean b/tests/lean/run/fixedParams.lean
@@ -56,9 +56,10 @@ end Ex3
 
 namespace Ex4
 /--
-info: [Elab.definition.fixedParams] getFixedParams:
-      • [#1 #3] ❌ [#3 #1] ❌
-      • [#3 #1] ❌ [#1 #3] ❌
+info: [Elab.definition.fixedParams] getFixedParams: notFixed 0 3:
+    In foo c n b m
+    m not matched
+[Elab.definition.fixedParams] getFixedParams: • [#1 #3] ❌ [#3 #1] ❌ • [#3 #1] ❌ [#1 #3] ❌
 -/
 #guard_msgs in
 mutual