X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail065.stderr;h=bac2bd6969f41e0eab9189379aca502f8f82a5b5;hb=5b1f426196193d23988d0ae171f268acc45f4bd2;hp=1002a1d75521b9b7c22043f5dadae4787ee486f1;hpb=2b8eabece2e279d1ad9778bb724242f752288c2c;p=ghc-hetmet.git

diff --git a/ghc/tests/typecheck/should_fail/tcfail065.stderr b/ghc/tests/typecheck/should_fail/tcfail065.stderr
index 1002a1d..bac2bd6 100644
--- a/ghc/tests/typecheck/should_fail/tcfail065.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail065.stderr
@@ -1,7 +1,7 @@
  
 tcfail065.hs:29: A type signature is more polymorphic than the inferred type
-		     Can't for-all the type variable(s) `taKg'
-		     in the inferred type `taKg -> X taKg -> X taKg'
+		     Can't for-all the type variable(s) `taJC'
+		     in the inferred type `taJC -> X taJC -> X taJC'
     When checking signature for `setX'
 
 Compilation had errors