Project

General

Profile

Revision ccd386cb src/backends/VHDL/mini_vhdl_ast_pp.ml

View differences:

src/backends/VHDL/mini_vhdl_ast_pp.ml
269 269
            (match sensit_list with
270 270
            | [] -> ();
271 271
            | _ ->
272
               Format.fprintf fmt "(@[<v>";
272
               Format.fprintf fmt " on (@[<v>";
273 273
               ((fun x  ->
274 274
                ignore
275 275
                  (List.fold_left
......
624 624
              Format.fprintf fmt ": ");
625 625
          Format.fprintf fmt "process ";
626 626
          (match x.active_sigs with
627
          | [] -> Format.fprintf fmt "";
627
          | [] -> ();
628 628
          | _ -> Format.fprintf fmt "(";
629 629
                 ((fun x  ->
630 630
                    ignore
......
634 634
                              if sep then Format.fprintf fmt ",";
635 635
                              ((__2 ()) fmt) x;
636 636
                              true) false x))) x.active_sigs;
637
                 Format.fprintf fmt ")");
638
          Format.fprintf fmt " is";
637
                 Format.fprintf fmt ") is");
639 638
          (match x.p_declarations with
640 639
          | [] -> Format.fprintf fmt "";
641 640
          | _ -> 

Also available in: Unified diff