X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_unification%2FcoercGraph.mli;fp=helm%2Fsoftware%2Fcomponents%2Fcic_unification%2FcoercGraph.mli;h=44f30d278a00f69792788d3a074754804f509421;hb=889815067d64e081eb90ea1a792890c2ad4e511c;hp=3bc6273c34e44721dcf76ea85bfb0e16e3171db9;hpb=8a4c83c6341976f2bb70eb44a0c70f2aa95ad3ea;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