Reorganise TcSimplify (again); FIX Trac #1919

[ghc-hetmet.git] / compiler / typecheck / TcTyClsDecls.lhs

diff --git a/compiler/typecheck/TcTyClsDecls.lhs b/compiler/typecheck/TcTyClsDecls.lhs
index 3880f1f..83b2114 100644 (file)
--- a/compiler/typecheck/TcTyClsDecls.lhs
+++ b/compiler/typecheck/TcTyClsDecls.lhs
@@ -1214,7 +1214,7 @@ badGadtDecl tc_name
 
 badExistential con_name
   = hang (ptext SLIT("Data constructor") <+> quotes (ppr con_name) <+>
-               ptext SLIT("has existential type variables, or a context, or both"))
+               ptext SLIT("has existential type variables, or a context"))
        2 (parens $ ptext SLIT("Use -XExistentialQuantification or -XGADTs to allow this"))
 
 badStupidTheta tc_name