From a58c729ae2e30bea6fb2a5a3ffdbd9fb66a4360d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Mon, 13 Sep 2010 01:18:45 +0200 Subject: [PATCH] clocking tweak. --- compiler/minils/analysis/clocking.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/minils/analysis/clocking.ml b/compiler/minils/analysis/clocking.ml index 147d8ed..e98c476 100644 --- a/compiler/minils/analysis/clocking.ml +++ b/compiler/minils/analysis/clocking.ml @@ -80,7 +80,7 @@ and typing_op op args h e ck = match op, args with | Eselect, [e] -> typing h e | Eselect_dyn, e1::defe::idx -> (* TODO defe not treated ? *) let ct = skeleton ck e1.e_ty - in (expect h ct e1; List.iter (expect h ct) idx; ct) + in (List.iter (expect h ct) (e1::defe::idx); ct) | Eupdate, e1::e2::idx -> let ct = skeleton ck e.e_ty in (expect h (Ck ck) e1; expect h ct e2; List.iter (expect h ct) idx; ct)