diff --git a/lib/typeSubstitution.mli b/lib/typeSubstitution.mli
index 0fe98ee..36ea10b 100644
--- a/lib/typeSubstitution.mli
+++ b/lib/typeSubstitution.mli
@@ -1,8 +1,6 @@
 type t = Type.t Map.Make(Identifier).t
 
 val apply : t -> Type.t -> Type.t
-
-(* compose s2 s1 : first s1, then s2 *)
 val compose : t -> t -> t
 val empty : t
 val singleton : Identifier.t -> Type.t -> t