diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.hs
index ea9bbd20fb9a2349e8c1befee8d4ef26427d66b5..333c0c31dd3f35b210114c4c2b2b80279ccdbd0f 100644
--- a/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.hs
+++ b/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.hs
@@ -2,13 +2,6 @@
 
 -- Trac #1795
 
--- This should fail.  It used to fail saying it can't unify
---   'a' with '(String, a)'
--- but now it simply says that it can't deduce 
--- 	(MkA (String, a) a) from the context ()
--- which is fair enough
-
-
 module ShouldCompile where
 
 data A a = A
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr b/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr
index 184bebf0d33dfa32eaf64bea895388980fd145cb..04c74921d40a1038d236e3886ebb0af5d5afe277 100644
--- a/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr
+++ b/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr
@@ -1,10 +1,4 @@
-
-FD3.hs:22:14:
-    Could not deduce (MkA (String, a) a) from the context ()
-      arising from a use of `mkA' at FD3.hs:22:14-18
-    Possible fix:
-      add (MkA (String, a) a) to the context of
-	the type signature for `translate'
-      or add an instance declaration for (MkA (String, a) a)
-    In the expression: mkA a
-    In the definition of `translate': translate a = mkA a
+
+FD3.hs:15:0:
+    Occurs check: cannot construct the infinite type: a = (String, a)
+    When generalising the type(s) for `translate'