X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcUnify.lhs;h=7872c59cd37be2a3f2f10f753f9b9f63fdac2296;hb=8053aac536c96dabdc06e9f068852f5481474a29;hp=b616b37ce867b0cd14951caefe34deea811fa712;hpb=4b6b4d23314c56e33726d8d02d0771ee6618df48;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs
index b616b37..7872c59 100644
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -702,7 +702,7 @@ tc_sub1 mb_fun act_sty actual_ty exp_ib exp_sty expected_ty
 	; co_fn2 <- tc_sub mb_fun tau' tau' exp_ib exp_sty expected_ty
 
 		-- Deal with the dictionaries
-	; co_fn1 <- instCall InstSigOrigin inst_tys (substTy subst' theta)
+	; co_fn1 <- instCall InstSigOrigin inst_tys (substTheta subst' theta)
  	; return (co_fn2 <.> co_fn1) }
 
 -----------------------------------