]> matita.cs.unibo.it Git - helm.git/commitdiff
use the new graphviz pretty printer API
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jul 2006 14:28:13 +0000 (14:28 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jul 2006 14:28:13 +0000 (14:28 +0000)
helm/software/components/library/coercGraph.ml

index 6f31cbd463453ec1abee6f0892da3cfc696b61eb..40d6281252c58de143736f3e6aaaa9248c13d570 100644 (file)
@@ -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