1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail097.stderr b/testsuite/tests/typecheck/should_fail/tcfail097.stderr
index e4a611774d..9fbd7c4d87 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail097.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail097.stderr
@@ -1,11 +1,11 @@
-
-tcfail097.hs:5:6:
-    Could not deduce (Eq a0)
-    from the context: Eq a
-      bound by the type signature for: f :: Eq a => Int -> Int
-      at tcfail097.hs:5:6-23
-    The type variable ‘a0’ is ambiguous
-    In the ambiguity check for the type signature for ‘f’:
-      f :: forall a. Eq a => Int -> Int
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
-    In the type signature for ‘f’: f :: Eq a => Int -> Int
+
+tcfail097.hs:5:6: error:
+    Could not deduce (Eq a0)
+    from the context: Eq a
+      bound by the type signature for:
+                 f :: Eq a => Int -> Int
+      at tcfail097.hs:5:6-23
+    The type variable ‘a0’ is ambiguous
+    In the ambiguity check for ‘f’
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+    In the type signature: f :: Eq a => Int -> Int