diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml
index 2c5e14b..6c45198 100644
--- a/compiler/heptagon/analysis/typing.ml
+++ b/compiler/heptagon/analysis/typing.ml
@@ -222,7 +222,7 @@ let rec unify t1 t2 =
 let unify t1 t2 =
   try unify t1 t2 with Unify -> error (Etype_clash(t1, t2))
 	
-let less_than statefull = if not statefull then error Estate_clash
+let less_than statefull = (*if not statefull then error Estate_clash*) ()
 
 let kind f statefull = function
   | { node_inputs = ty_list1;