Project

General

Profile

« Previous | Next » 

Revision 7ee5f69e

Added by LĂ©lio Brun 9 months ago

corrections on loggers + spec in AST

View differences:

src/causality.ml
609 609

  
610 610
  
611 611
let pp_dep_graph fmt g =
612
  Format.fprintf fmt "@[<v 2>{ /* graph */%t@] }"
612
  Format.fprintf fmt "@[<v 0>@[<v 2>{ /* graph */%t@]@ }@]"
613 613
    (fun fmt ->
614
       IdentDepGraph.iter_edges (fun s t -> Format.fprintf fmt "@,%s -> %s" s t) g)
614
       IdentDepGraph.iter_edges (fun s t -> Format.fprintf fmt "@ %s -> %s" s t) g)
615 615

  
616 616
let pp_error fmt err =
617 617
  match err with

Also available in: Unified diff