X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_unification%2FcoercGraph.mli;h=44f30d278a00f69792788d3a074754804f509421;hb=fb2fabf6c94d6a2f930b7a84673c90af32c48803;hp=3bc6273c34e44721dcf76ea85bfb0e16e3171db9;hpb=84e6cbe962c9a534be48542c098d7bb0d90be9a1;p=helm.git

diff --git a/helm/software/components/cic_unification/coercGraph.mli b/helm/software/components/cic_unification/coercGraph.mli
index 3bc6273c3..44f30d278 100644
--- 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