diff --git a/src/l2lExpandMetaOp.ml b/src/l2lExpandMetaOp.ml index 270b5d61b133410ab6d80909a10c7d6f50db1329..279fbdcd8dda7c097f599d344bf5c2edc886ef79 100644 --- a/src/l2lExpandMetaOp.ml +++ b/src/l2lExpandMetaOp.ml @@ -1,4 +1,4 @@ -(** Time-stamp: <modified the 20/02/2017 (at 11:30) by Erwan Jahier> *) +(** Time-stamp: <modified the 04/07/2018 (at 09:59) by Erwan Jahier> *) open Lxm open Lic @@ -334,11 +334,12 @@ let (create_map_body: local_ctx -> Lic.static_arg list -> Lic.node_body * var_in let cl = List.map (fun l -> snd (Lic.var_info_of_left l).var_clock_eff) lhs in + let p,n = fst iter_node.it in let rhs = { ve_typ = List.map Lic.type_of_left lhs; ve_clk = cl; - ve_core = - if AstPredef.is_a_predef_op (snd(fst iter_node.it)) then + ve_core = + if p="Lustre" && AstPredef.is_a_predef_op n then CallByPosLic({src=lxm;it=(Lic.PREDEF_CALL iter_node)}, xi_j) else CallByPosLic({src=lxm;it=(CALL iter_node)}, xi_j);