Project

General

Profile

Revision 5f31b494 src/clocks.ml

View differences:

src/clocks.ml
98 98
let rec print_ck_long fmt ck =
99 99
  match ck.cdesc with
100 100
  | Carrow (ck1,ck2) ->
101
      fprintf fmt "%a->%a" print_ck_long ck1 print_ck_long ck2
101
      fprintf fmt "%a -> %a" print_ck_long ck1 print_ck_long ck2
102 102
  | Ctuple cklist ->
103 103
    fprintf fmt "(%a)"
104 104
      (fprintf_list ~sep:" * " print_ck_long) cklist
......
529 529
    let ck = simplify ck in
530 530
    match ck.cdesc with
531 531
    | Carrow (ck1,ck2) ->
532
      fprintf fmt "%a->%a" aux ck1 aux ck2
532
      fprintf fmt "%a -> %a" aux ck1 aux ck2
533 533
    | Ctuple cklist ->
534 534
      fprintf fmt "(%a)" 
535 535
	(fprintf_list ~sep:" * " aux) cklist

Also available in: Unified diff