From b349849b80a78db7126a8bba3d6c0ca3f117cadd Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Sat, 13 Apr 2024 19:20:38 +0200
Subject: [PATCH] typo

---
 test/test_projet_pfa_23_24.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.(