Project

General

Profile

Revision 12946cbe src/tools/importer/main_lustre_importer.ml

View differences:

src/tools/importer/main_lustre_importer.ml
86 86

  
87 87
let vhdl_df_to_mini_vhdl_df df =
88 88
  let mini_vhdl = to_mini_vhdl#vhdl_design_file_t df in
89
  let mini_vhdl = flatten_components_instantiations#visit_mini_vhdl_design_file_t () mini_vhdl in
89 90
  let mini_vhdl = generate_wait_stmt_for_sensible_processes#visit_mini_vhdl_design_file_t () mini_vhdl in
90 91
  mini_vhdl
91 92

  

Also available in: Unified diff