From 7e29ba4057c6e100527bfc126b470cb1ff718765 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Wed, 30 Jun 2010 17:24:47 +0200 Subject: [PATCH] ?? nothing --- compiler/minils/transformations/normalize.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/minils/transformations/normalize.ml b/compiler/minils/transformations/normalize.ml index 61f2ac9..ab88e97 100644 --- a/compiler/minils/transformations/normalize.ml +++ b/compiler/minils/transformations/normalize.ml @@ -114,7 +114,7 @@ let add context expected_kind ({ e_desc = de } as e) = let up = match de, expected_kind with | (Evar _ | Efield _ ) , VRef -> false | _ , VRef -> true - | Ecall ({ op_kind = Efun; op_name = n }, _, _), + | Ecall ({ op_kind = Efun; op_name = n }, _, _), (Exp|Act) when is_op n -> false | ( Emerge _ | Etuple _ | Ecall _ | Efby _ | Earray_op _ ), Exp -> true