From 16aee95bb36bce273c7cc7278361e41e1a0f311f Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Thu, 11 Apr 2024 11:48:26 +0200
Subject: [PATCH] is it?

---
 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 c296e03..949e1b9 100644
--- a/test/test_projet_pfa_23_24.ml
+++ b/test/test_projet_pfa_23_24.ml
@@ -11,7 +11,7 @@ let tests_typeof =
     , Term.(Fun (x, Fun (y, Binop (Var x, Plus, Var y))))
     , Some Type.(Arrow (Int, Arrow (Int, Int))) )
   ; (* Not typed variable *)
-    "x", Term.(Var "x"), None
+    "x", Term.(Var "x"), Some Type.(Var "x")
   ; (* Binary operation *)
     "1 + 2", Term.(Binop (IntConst 1, Plus, IntConst 2)), Some Type.Int
   ; (* Pair *)