X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSimplify.lhs;h=be9d70d74debe1fe09483b3060cd08ad452fc47a;hb=3787d9878e4d62829a555f01b2a4c5866f24f303;hp=433266ec08ea69cc536c90166f33539987ec4017;hpb=b6d08641e2757898470a10dfa906084ade8ab835;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index 433266e..be9d70d 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -2207,7 +2207,7 @@ reduceImplication env
 			--		it makes no difference
 		co  = wrap_inline	-- Note [Always inline implication constraints]
 		      <.> mkWpTyLams tvs
-		      <.> mkWpTyLams eq_tyvars
+		      <.> mkWpLams eq_tyvars
 		      <.> mkWpLams dict_ids
 		      <.> WpLet (binds `unionBags` bind)
 		wrap_inline | null dict_ids = idHsWrapper