Project

General

Profile

Revision 77bdbec5 src/tools/importer/vhdl_to_lustre.ml

View differences:

src/tools/importer/vhdl_to_lustre.ml
476 476
        | Use a -> let a = self#list self#vhdl_name_t a  in Use a
477 477

  
478 478
    method vhdl_architecture_t : vhdl_architecture_t -> vhdl_architecture_t=
479
      fun { name; entity; declarations; body }  ->
479
      fun { name; entity; use_clauses; declarations; body }  ->
480 480
        let name = self#vhdl_name_t name  in
481 481
        let entity = self#vhdl_name_t entity  in
482
        let use_clauses = self#list self#vhdl_load_t use_clauses  in
482 483
        let declarations = self#list self#vhdl_declaration_t declarations  in
483 484
        let body = self#list self#vhdl_concurrent_stmt_t body  in
484
        { name; entity; declarations; body }
485
        { name; entity; use_clauses; declarations; body }
485 486

  
486 487
    method vhdl_configuration_t :
487 488
      vhdl_configuration_t -> vhdl_configuration_t= self#unit

Also available in: Unified diff