From 43d8de89be5b645cd53029a588bb2bf3eed31ae7 Mon Sep 17 00:00:00 2001
From: Joachim Breitner <mail@joachim-breitner.de>
Date: Tue, 25 Feb 2025 13:09:20 +0100
Subject: [PATCH] Update test output

---
 tests/lean/run/fixedParams.lean | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/tests/lean/run/fixedParams.lean b/tests/lean/run/fixedParams.lean
index c6da6b823db2..04317f95a26b 100644
--- 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