some more work for ng-coercions

[helm.git] / helm / software / components / cic_unification / coercGraph.mli

diff --git a/helm/software/components/cic_unification/coercGraph.mli b/helm/software/components/cic_unification/coercGraph.mli
index 3bc6273c34e44721dcf76ea85bfb0e16e3171db9..44f30d278a00f69792788d3a074754804f509421 100644 (file)
--- a/helm/software/components/cic_unification/coercGraph.mli
+++ b/helm/software/components/cic_unification/coercGraph.mli
@@ -42,7 +42,7 @@ val look_for_coercion :
 
 val source_of: Cic.term -> Cic.term
 
-val generate_dot_file: unit -> string
+val generate_dot_file: Format.formatter -> unit
 
 (* given the Appl contents returns the argument of the head coercion *)
 val coerced_arg: Cic.term list -> (Cic.term * int) option