test: expected.out (fix)

thorimur · thorimur · commit aad65be3716b · 2025-10-18T00:40:51.000-04:00
diff --git a/tests/lean/localInstancesInPrettyPrinting.lean.expected.out b/tests/lean/localInstancesInPrettyPrinting.lean.expected.out
@@ -1,13 +1,11 @@
-localInstancesInPrettyPrinting.lean:40:0-40:6: ⟪
+⟪
   synthBar := true,
   lctx := [Bar],
   localInstanceNames := [Bar]
   ⟫ : True
-
-localInstancesInPrettyPrinting.lean:47:7-47:17: ⟪
+⟪
   synthBar := true,
   lctx := [Bar],
   localInstanceNames := [Bar]
-  ⟫ : True
-
-localInstancesInPrettyPrinting.lean:47:0-47:6: () : Unit
+  ⟫
+() : Unit
