From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 24 Jul 2006 14:28:13 +0000 (+0000)
Subject: use the new graphviz pretty printer API
X-Git-Tag: make_still_working~7014
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5c21228da6a5c6e09789788ae82b3c3317cd6149;p=helm.git

use the new graphviz pretty printer API
---

diff --git a/helm/software/components/library/coercGraph.ml b/helm/software/components/library/coercGraph.ml
index 6f31cbd46..40d628125 100644
--- a/helm/software/components/library/coercGraph.ml
+++ b/helm/software/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