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

---
 lib/typeSubstitution.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/typeSubstitution.ml b/lib/typeSubstitution.ml
index 23eb50a..cce888c 100644
--- a/lib/typeSubstitution.ml
+++ b/lib/typeSubstitution.ml
@@ -29,9 +29,9 @@ let compose s2 s1 =
       (* ID type_s1 type_s2 *)
         (fun _ ty1 ty2 ->
         match ty1, ty2 with
-        (* Dans ce cas, on donne la priorité à s1 *)
+        (* Give priority to s1 *)
         | Some ty1', Some _ -> Some ty1'
-        (* Utilisation de la substitution que l'on a déjà *)
+        (* Use of the substitution we already have *)
         | Some ty1', None -> Some ty1'
         | None, Some ty2' -> Some ty2'
         (* Variable untyped *)