Project

General

Profile

Revision 1eda3e78 src/clock_calculus.ml

View differences:

src/clock_calculus.ml
771 771
  let new_env = clock_var_decl_list env false nd.node_inputs in
772 772
  let new_env = clock_var_decl_list new_env true nd.node_outputs in
773 773
  let new_env = clock_var_decl_list new_env true nd.node_locals in
774
  List.iter (clock_eq new_env) nd.node_eqs;
774
  List.iter (clock_eq new_env) (get_node_eqs nd);
775 775
  let ck_ins = clock_of_vlist nd.node_inputs in
776 776
  let ck_outs = clock_of_vlist nd.node_outputs in
777 777
  let ck_node = new_ck (Carrow (ck_ins,ck_outs)) false in

Also available in: Unified diff