Project

General

Profile

Revision bd1f1929 src/backends/VHDL/vhdl_2_mini_vhdl_map.ml

View differences:

src/backends/VHDL/vhdl_2_mini_vhdl_map.ml
646 646
            let assocs = self#list self#vhdl_assoc_element_t assocs  in
647 647
            (* TODO: get procedure declaration and map assoc_elements *)
648 648
            MiniProcedureCall { label; name; assocs }
649
        | Wait  -> MiniWait
649
        | Wait { sensitivity } -> MiniWait { sensitivity }
650 650
        | Null { label } ->
651 651
            let label = self#option self#lower_vhdl_name_t label in
652 652
            MiniNull { label }

Also available in: Unified diff