X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2FcoercGraph.ml;h=40d6281252c58de143736f3e6aaaa9248c13d570;hb=25871137d6571c7634c967c3b2fc87eab75b9704;hp=6f31cbd463453ec1abee6f0892da3cfc696b61eb;hpb=619389e0395c49045cd5e1eb97099fb2c87b139d;p=helm.git

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