X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Fgrafite.mli;h=3bbd35c7bc64b2ef5c21f7dee0ed097acaba9427;hb=916c558005ed665c62699a7a4c5347870c8a3efb;hp=53aff69900f528e555e7062991533d3a278d3ef7;hpb=438a29376390222b94c1fe9772917c3aad50d42e;p=helm.git

diff --git a/helm/software/components/binaries/transcript/grafite.mli b/helm/software/components/binaries/transcript/grafite.mli
index 53aff6990..3bbd35c7b 100644
--- a/helm/software/components/binaries/transcript/grafite.mli
+++ b/helm/software/components/binaries/transcript/grafite.mli
@@ -23,6 +23,6 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val commit: out_channel -> Types.items -> unit
+val commit: Types.output_kind -> out_channel -> Types.items -> unit
 
 val string_of_inline_kind: Types.inline_kind -> string