From ccfd3f368a1ae60341629907a5425387b10da793 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 22 Jun 2010 09:47:03 +0200 Subject: [PATCH] Disable this for now --- compiler/heptagon/analysis/typing.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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;