diff --git a/ghc/tests/rename/should_fail/rnfail014.stderr b/ghc/tests/rename/should_fail/rnfail014.stderr
index b71453a73f07710ac1ffa53a3d6e7e7e1733e864..700fdec264070a5813972403ffcca1d1029416d3 100644
--- a/ghc/tests/rename/should_fail/rnfail014.stderr
+++ b/ghc/tests/rename/should_fail/rnfail014.stderr
@@ -1,18 +1,13 @@
 
 rnfail014.hs:8:
-    All of the type variable(s) in the constraint `Eq a' are already in scope
-	At least one must be universally quantified here
-    In the type signature for an instance decl
+    Ambiguous constraint `Eq a'
+	for the type: {Eq Bool}
+	Each forall'd type variable mentioned by the constraint must appear after the =>
 
 rnfail014.hs:12:
-    All of the type variable(s) in the constraint `Eq a' are already in scope
-	At least one must be universally quantified here
-    In the type signature for `f'
-
-rnfail014.hs:17:
-    All of the type variable(s) in the constraint `Eq a' are already in scope
-	At least one must be universally quantified here
-    In the type signature for `op'
+    Ambiguous constraint `Eq a'
+	for the type: Int -> Int
+	Each forall'd type variable mentioned by the constraint must appear after the =>
 
 Compilation had errors