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