Project

General

Profile

Revision ccd386cb

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
          | _ -> 
src/backends/VHDL/vhdl_ast_pp.ml
1040 1040
            (match sensit_list with
1041 1041
            | [] -> ();
1042 1042
            | _ ->
1043
               Format.fprintf fmt "(@[<v>";
1043
               Format.fprintf fmt " on (@[<v>";
1044 1044
               ((fun x  ->
1045 1045
                ignore
1046 1046
                  (List.fold_left
......
1530 1530
              Format.fprintf fmt ": ");
1531 1531
          Format.fprintf fmt "process ";
1532 1532
          (match x.active_sigs with
1533
          | [] -> Format.fprintf fmt "";
1533
          | [] -> ();
1534 1534
          | _ -> Format.fprintf fmt "(";
1535 1535
                 ((fun x  ->
1536 1536
                    ignore
......
1540 1540
                              if sep then Format.fprintf fmt ",";
1541 1541
                              ((__2 ()) fmt) x;
1542 1542
                              true) false x))) x.active_sigs;
1543
                 Format.fprintf fmt ")");
1544
          Format.fprintf fmt " is";
1543
                 Format.fprintf fmt ") is");
1545 1544
          (match x.p_declarations with
1546 1545
          | [] -> Format.fprintf fmt "";
1547 1546
          | _ -> 

Also available in: Unified diff