1 files changed, 32 insertions, 32 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T5300.stderr b/testsuite/tests/typecheck/should_fail/T5300.stderr
index 14e069af9b..2adbed420b 100644
--- a/testsuite/tests/typecheck/should_fail/T5300.stderr
+++ b/testsuite/tests/typecheck/should_fail/T5300.stderr
@@ -1,32 +1,32 @@
-
-T5300.hs:11:7:
-    Could not deduce (C1 a b c0)
-    from the context (Monad m, C1 a b c)
-      bound by the type signature for
-                 f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
-      at T5300.hs:11:7-50
-    The type variable ‘c0’ is ambiguous
-    In the ambiguity check for the type signature for ‘f1’:
-      f1 :: forall a b (m :: * -> *) c.
-            (Monad m, C1 a b c) =>
-            a -> StateT (T b) m a
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
-    In the type signature for ‘f1’:
-      f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
-
-T5300.hs:14:7:
-    Could not deduce (C2 a2 b2 c20)
-    from the context (Monad m, C1 a1 b1 c1, C2 a2 b2 c2)
-      bound by the type signature for
-                 f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
-                       a1 -> StateT (T b2) m a2
-      at T5300.hs:14:7-69
-    The type variable ‘c20’ is ambiguous
-    In the ambiguity check for the type signature for ‘f2’:
-      f2 :: forall a1 b2 (m :: * -> *) a2 b1 c1 c2.
-            (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
-            a1 -> StateT (T b2) m a2
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
-    In the type signature for ‘f2’:
-      f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
-            a1 -> StateT (T b2) m a2
+
+T5300.hs:11:7:
+    Could not deduce (C1 a b c0)
+    from the context (Monad m, C1 a b c)
+      bound by the type signature for:
+               f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
+      at T5300.hs:11:7-50
+    The type variable ‘c0’ is ambiguous
+    In the ambiguity check for the type signature for ‘f1’:
+      f1 :: forall a b (m :: * -> *) c.
+            (Monad m, C1 a b c) =>
+            a -> StateT (T b) m a
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+    In the type signature for ‘f1’:
+      f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
+
+T5300.hs:14:7:
+    Could not deduce (C2 a2 b2 c20)
+    from the context (Monad m, C1 a1 b1 c1, C2 a2 b2 c2)
+      bound by the type signature for:
+               f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
+                     a1 -> StateT (T b2) m a2
+      at T5300.hs:14:7-69
+    The type variable ‘c20’ is ambiguous
+    In the ambiguity check for the type signature for ‘f2’:
+      f2 :: forall a1 b2 (m :: * -> *) a2 b1 c1 c2.
+            (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
+            a1 -> StateT (T b2) m a2
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+    In the type signature for ‘f2’:
+      f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
+            a1 -> StateT (T b2) m a2