diff --git a/tools/rdbg4sasa/dot4sasa.ml b/tools/rdbg4sasa/dot4sasa.ml index d7fcc3db075ed8af8604dc6c93fa330ecdf9e784..25d147b94b183428d2d1d73bcb4e56d8dbbe0178 100644 --- a/tools/rdbg4sasa/dot4sasa.ml +++ b/tools/rdbg4sasa/dot4sasa.ml @@ -160,9 +160,11 @@ let to_pdf engine par_var only_parent rn g f e = (fun n -> let l = g.succ n.id in List.mapi (fun i t -> - if is_parent "par" n.id i e then + if g.directed then + Printf.sprintf "%s -> %s" t n.id + else if is_parent "par" n.id i e then Printf.sprintf "%s -> %s" n.id t - else if n.id < t then + else if n.id < t then (* to avoid duplication in undir graphs *) Printf.sprintf "%s -- %s" n.id t else Printf.sprintf "%s -- %s" t n.id