From 8f5488bf8665a4984f7b866598088d2aecf69f63 Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Sun, 8 May 2022 22:37:54 +0200
Subject: [PATCH] Suppression d'un warning

---
 pieuvre.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pieuvre.ml b/pieuvre.ml
index 56aeb13..78d0e47 100644
--- a/pieuvre.ml
+++ b/pieuvre.ml
@@ -121,7 +121,7 @@ let rec typecheck (env: gam) (l: lam) (t: ty) : bool =
     | (LFun(x,t,l'),TImpl(tx,ty)) -> typecheck ((x,tx)::env) l' ty
     | (LFun(_,_,_),_) -> false (* Une fonction est forcément une ... fonction *)
     | (LApp(lf,lx),t) ->
-        let t' = (raise TODOException; TFalse) in
+        let t' = raise TODOException in
         (typecheck env lf (TImpl(t',t))) && (typecheck env lx t')
     | (LVar(x),t) ->
         begin