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'