From 9edc76b628b8f8c1747286a53ea193ea881cf95e Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Sat, 27 Apr 2024 12:36:27 +0200
Subject: [PATCH] typo

---
 lib/typeSubstitution.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/typeSubstitution.ml b/lib/typeSubstitution.ml
index a15dfb0..23eb50a 100644
--- a/lib/typeSubstitution.ml
+++ b/lib/typeSubstitution.ml
@@ -31,7 +31,7 @@ let compose s2 s1 =
         match ty1, ty2 with
         (* Dans ce cas, on donne la priorité à s1 *)
         | Some ty1', Some _ -> Some ty1'
-        (* Utilisation de la substitution que l'on à déjà *)
+        (* Utilisation de la substitution que l'on a déjà *)
         | Some ty1', None -> Some ty1'
         | None, Some ty2' -> Some ty2'
         (* Variable untyped *)