Project

General

Profile

Revision a38c681e src/causality.ml

View differences:

src/causality.ml
457 457
     maybe removing shorter branches *)
458 458
  type disjoint_map = (ident, CISet.t) Hashtbl.t
459 459

  
460
  let pp_ciset fmt t =
461
    begin
462
      Format.fprintf fmt "{@ ";
463
      CISet.iter (fun s -> Format.fprintf fmt "%a@ " Printers.pp_var_name s) t;
464
      Format.fprintf fmt "}@."
465
    end
466

  
460 467
  let clock_disjoint_map vdecls =
461 468
    let map = Hashtbl.create 23 in
462 469
    begin

Also available in: Unified diff