diff --git a/test/test_projet_pfa_23_24.ml b/test/test_projet_pfa_23_24.ml
index 60af70a..78c19af 100644
--- a/test/test_projet_pfa_23_24.ml
+++ b/test/test_projet_pfa_23_24.ml
@@ -29,7 +29,7 @@ let tests_typeof =
     , Term.(App (Fun (x, Binop (Var x, Plus, IntConst 1)), Pair (IntConst 1, IntConst 2)))
     , None )
   ; (* x -> y -> (x -> y -> z) -> z *)
-    ( "fun x y -> fun z -> z x y"
+    ( "fun x -> fun y -> fun z -> z x y"
     , Term.(Fun (x, Fun (y, Fun (z, App (Var z, App (Var x, Var y))))))
     , Some
         Type.(