diff --git a/bin/main.ml b/bin/main.ml
index 7bf6048..306831a 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -1 +1 @@
-let () = print_endline "Hello, World!"
+let () = ()
diff --git a/test/test_projet_pfa_23_24.ml b/test/test_projet_pfa_23_24.ml
index 78c19af..ac27b50 100644
--- a/test/test_projet_pfa_23_24.ml
+++ b/test/test_projet_pfa_23_24.ml
@@ -3,7 +3,6 @@ open TypeInference
 let tests_typeof =
   let x = Identifier.fresh () in
   let y = Identifier.fresh () in
-  let z = Identifier.fresh () in
   [ (* IntConst *)
     "0", Term.IntConst 0, Some Type.Int
   ; (* int -> int -> int = <fun> *)
@@ -28,13 +27,6 @@ let tests_typeof =
     ( "(fun x -> x + 1) (1, 2)"
     , Term.(App (Fun (x, Binop (Var x, Plus, IntConst 1)), Pair (IntConst 1, IntConst 2)))
     , None )
-  ; (* x -> y -> (x -> y -> z) -> z *)
-    ( "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.(
-          Arrow (Var x, Arrow (Var y, Arrow (Arrow (Var x, Arrow (Var y, Var z)), Var z))))
-    )
   ]
 ;;