From c064359888464ccbdfd653b43bafa4c04340923d Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Thu, 11 Apr 2024 13:19:17 +0200
Subject: [PATCH] Revert "is it?"

This reverts commit 16aee95bb36bce273c7cc7278361e41e1a0f311f.
---
 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 949e1b9..c296e03 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"), Some Type.(Var "x")
+    "x", Term.(Var "x"), None
   ; (* Binary operation *)
     "1 + 2", Term.(Binop (IntConst 1, Plus, IntConst 2)), Some Type.Int
   ; (* Pair *)