1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T7220a.stderr b/testsuite/tests/typecheck/should_compile/T7220a.stderr
index ea0331b3dc..b728a1e8d9 100644
--- a/testsuite/tests/typecheck/should_compile/T7220a.stderr
+++ b/testsuite/tests/typecheck/should_compile/T7220a.stderr
@@ -1,14 +1,14 @@
-
-T7220a.hs:17:6:
-    Could not deduce (C a b)
-    from the context: (C a0 b, TF b ~ Y)
-      bound by the type signature for: f :: (C a0 b, TF b ~ Y) => b
-      at T7220a.hs:17:6-44
-    Possible fix:
-      add (C a b) to the context of
-        the type signature for: f :: (C a0 b, TF b ~ Y) => b
-    In the ambiguity check for the type signature for ‘f’:
-      f :: forall a. (forall b. (C a b, TF b ~ Y) => b) -> X
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
-    In the type signature for ‘f’:
-      f :: (forall b. (C a b, TF b ~ Y) => b) -> X
+
+T7220a.hs:17:6: error:
+    Could not deduce (C a b)
+    from the context: (C a0 b, TF b ~ Y)
+      bound by the type signature for:
+                 f :: (C a0 b, TF b ~ Y) => b
+      at T7220a.hs:17:6-44
+    Possible fix:
+      add (C a b) to the context of
+        the type signature for:
+          f :: (C a0 b, TF b ~ Y) => b
+    In the ambiguity check for ‘f’
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+    In the type signature: f :: (forall b. (C a b, TF b ~ Y) => b) -> X