X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FVar.lhs;h=4f1ed2e1a603f0ab73b9f710bd5103c1dc44917a;hb=960a5edb6ac87c7d85e36f4b70be8da0175819f7;hp=ee09c3eedd18ac2a7cb73be60b28d39e9d7c76d2;hpb=1add6282808b5ae98e72ef7034634036c9b91b04;p=ghc-hetmet.git

diff --git a/compiler/basicTypes/Var.lhs b/compiler/basicTypes/Var.lhs
index ee09c3e..4f1ed2e 100644
--- a/compiler/basicTypes/Var.lhs
+++ b/compiler/basicTypes/Var.lhs
@@ -289,7 +289,7 @@ mkTcTyVar name kind details
 
 \begin{code}
 type CoVar = TyVar -- A coercion variable is simply a type 
-			-- variable of kind @ty1 :=: ty2@. Hence its
+			-- variable of kind @ty1 ~ ty2@. Hence its
 			-- 'varType' is always @PredTy (EqPred t1 t2)@
 
 coVarName :: CoVar -> Name