[project @ 2004-01-12 15:47:50 by simonpj]

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

diff --git a/ghc/compiler/typecheck/TcUnify.lhs b/ghc/compiler/typecheck/TcUnify.lhs
index d4e3edd..c13cff6 100644 (file)
--- a/ghc/compiler/typecheck/TcUnify.lhs
+++ b/ghc/compiler/typecheck/TcUnify.lhs
@@ -904,6 +904,7 @@ okToUnifyWith tv ty
     Just p  `and` m = Just p
 \end{code}
 
+
 %************************************************************************
 %*                                                                     *
                Kind unification