From 4b1034a374d222248380ce93dd89f878ec1a1841 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 24 Jul 2006 14:28:13 +0000 Subject: [PATCH] use the new graphviz pretty printer API --- components/library/coercGraph.ml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/components/library/coercGraph.ml b/components/library/coercGraph.ml index 6f31cbd46..40d628125 100644 --- a/components/library/coercGraph.ml +++ b/components/library/coercGraph.ml @@ -120,9 +120,8 @@ let generate_dot_file () = let module Pp = GraphvizPp.Dot in let buf = Buffer.create 10240 in let fmt = Format.formatter_of_buffer buf in - Pp.header fmt; - Pp.node "node" ~attrs:["fontsize", "9"; "width", ".4"; "height", ".4"] fmt; - Pp.node "edge" ~attrs:["fontsize", "10"] fmt; + Pp.header ~node_attrs:["fontsize", "9"; "width", ".4"; "height", ".4"] + ~edge_attrs:["fontsize", "10"] fmt; let l = CoercDb.to_list () in let pp_description carr = match CoercDb.uri_of_carr carr with -- 2.39.2