From 0fb9b8603b8e61c0ecbf86795417ca20020a69a0 Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Tue, 5 Dec 2023 03:59:26 +0100
Subject: [PATCH] .

---
 flap/src/hopix/hopixTypechecker.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flap/src/hopix/hopixTypechecker.ml b/flap/src/hopix/hopixTypechecker.ml
index 57cd879..017134e 100644
--- a/flap/src/hopix/hopixTypechecker.ml
+++ b/flap/src/hopix/hopixTypechecker.ml
@@ -146,8 +146,8 @@ and synth_tannot
   -> HopixTypes.aty
   =
   fun tenv expr ty ->
-  (* Pas sûr de ça *)
   let ty' = synth_expression tenv expr in
+  (* Pas sûr de ça *)
   check_equal_types expr.position ~expected:(HopixTypes.internalize_ty tenv ty) ~given:ty';
   ty'