use the graphviz pretty printer to generate graphviz markup for the coercions graph

[helm.git] / components / library / coercGraph.mli

diff --git a/components/library/coercGraph.mli b/components/library/coercGraph.mli
index 691bafd4c9c404ce7b259f152eb710eff4813ee0..986ef8e472406b728a417768ed15f89fc32b916d 100644 (file)
--- a/components/library/coercGraph.mli
+++ b/components/library/coercGraph.mli
@@ -39,3 +39,4 @@ val source_of: Cic.term -> Cic.term
 val target_of: Cic.term -> Cic.term
 
 val generate_dot_file: unit -> string
+