From d12641a7efe392d55fe3a518d64f696b3f05f1c3 Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Tue, 30 Apr 2024 13:51:32 +0200
Subject: [PATCH] cleanup

---
 lib/typeSubstitution.mli | 2 --
 1 file changed, 2 deletions(-)

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