]> matita.cs.unibo.it Git - helm.git/blobdiff - components/metadata/metadataDeps.ml
BIG FAT COMMIT REGARDING COERCIONS:
[helm.git] / components / metadata / metadataDeps.ml
index 91fa8004ca14ae49694c98209a751ffb765d2f2b..b393dbb91a8f0f0a3ca74983758e386c02738c3a 100644 (file)
@@ -132,7 +132,7 @@ struct
         (*eprintf "Node '%s' not found.\n" (UriManager.string_of_uri uri);*)
         assert false
     in
-    Pp.header ~graph_attrs:["rankdir", "LR"] ~node_attrs:global_node_attrs fmt;
+    Pp.header ~graph_type:"strict digraph" ~graph_attrs:["rankdir", "LR"] ~node_attrs:global_node_attrs fmt;
     let rec aux =
       function
         | [] -> ()