Project

General

Profile

Revision 6d3b5007 src/tools/importer/vhdl_to_lustre.ml

View differences:

src/tools/importer/vhdl_to_lustre.ml
315 315
            let report = self#vhdl_expr_t report  in
316 316
            let severity = self#vhdl_expr_t severity  in
317 317
            Assert { label; cond; report; severity }
318
        | ProcedureCall { label; name; assocs } ->
319
            let label = self#vhdl_name_t label  in
320
            let name = self#vhdl_name_t name  in
321
            let assocs = self#list self#vhdl_assoc_element_t assocs  in
322
            ProcedureCall { label; name; assocs }
318 323
        | Wait  -> Wait
319 324
        | Null { label } ->
320 325
            let label = self#vhdl_name_t label  in Null { label }

Also available in: Unified diff