use the new graphviz pretty printer API

diff --git a/components/library/coercGraph.ml b/components/library/coercGraph.ml
index 6f31cbd463453ec1abee6f0892da3cfc696b61eb..40d6281252c58de143736f3e6aaaa9248c13d570 100644 (file)
--- 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