@@ -1,6 +1,6 @@
1-----------------------------------------------------------------------------
1-----------------------------------------------------------------------------
3−-- Module : Language.PureScript.TypeChecker.Types.Unify
3+-- Module : Language.PureScript.TypeChecker.Unify
4-- Copyright : (c) Phil Freeman 2013
4-- Copyright : (c) Phil Freeman 2013
5-- License : MIT
5-- License : MIT
@@ -9,7 +9,7 @@
9-- Portability :
9-- Portability :
12−-- This module implements the type checker
12+-- Functions and instances relating to unification
14-----------------------------------------------------------------------------
14-----------------------------------------------------------------------------