X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcUnify.hi-boot-6;h=c1f9bca9fa5cbbcf76ee8cb2a964fa44665360af;hb=f8dfc857924a89b26b2e091c09cc731d868af7c6;hp=30f21f5cc67c02119fd6b9211a95fd0b8aea7ea3;hpb=9af77fa423926fbda946b31e174173d0ec5ebac8;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcUnify.hi-boot-6 b/ghc/compiler/typecheck/TcUnify.hi-boot-6
index 30f21f5..c1f9bca 100644
--- a/ghc/compiler/typecheck/TcUnify.hi-boot-6
+++ b/ghc/compiler/typecheck/TcUnify.hi-boot-6
@@ -3,6 +3,4 @@ module TcUnify where
 -- This boot file exists only to tie the knot between
 --		TcUnify and TcSimplify
 
-unifyTauTy :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM GHC.Base.()
-
-
+unifyTauTy :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM ()