Project

General

Profile

Revision a0721293 src/tools/importer/mini_vhdl_to_lustre.ml

View differences:

src/tools/importer/mini_vhdl_to_lustre.ml
448 448
        self#lustre_mk_node names declarations ports body
449 449

  
450 450
    method mini_vhdl_design_file_t :
451
      mini_vhdl_design_file_t -> program =
451
      mini_vhdl_design_file_t -> program_t =
452 452
      fun { components; packages }  ->
453 453
        let components = List.map self#mini_vhdl_component_t components  in
454 454
        let packages = List.map self#mini_vhdl_package_t packages  in

Also available in: Unified diff