From 4d52fe79efb988fec1e093dded2cc2aca675672b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Thu, 22 Jul 2010 09:22:50 +0200 Subject: [PATCH] Compile fix --- compiler/minils/transformations/normalize.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/minils/transformations/normalize.ml b/compiler/minils/transformations/normalize.ml index e95ed15..d06e366 100644 --- a/compiler/minils/transformations/normalize.ml +++ b/compiler/minils/transformations/normalize.ml @@ -145,9 +145,9 @@ let add context expected_kind ({ e_desc = de } as e) = | _ , VRef -> true | Eapp ({ a_op = Efun n }, _, _), (Exp|Act) when is_op n -> false - | ( Emerge _ | Eapp _ | Eiterator | Efby _ ), Exp -> true + | ( Emerge _ | Eapp _ | Eiterator _ | Efby _ ), Exp -> true | ( Eapp({ a_op = Efun _ | Enode _ }, _, _) - | Eiterator | Efby _ ), Act -> true + | Eiterator _ | Efby _ ), Act -> true | _ -> false in if up then let context, n = equation context e in