[project @ 2001-03-29 14:35:20 by simonmar]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail076.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail076.stderr b/ghc/tests/typecheck/should_fail/tcfail076.stderr
index fdf02e0..d913f20 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail076.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail076.stderr
@@ -9,5 +9,4 @@ tcfail076.hs:18:
     Type to generalise: (b -> m res1) -> m res1
     When checking an expression type signature
     In the first argument of `KContT', namely `(\ cont' -> cont a)'
-    In the right-hand side of a lambda abstraction:
-       KContT (\ cont' -> cont a)
+    in a lambda abstraction: KContT (\ cont' -> cont a)