X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Fgrafite.mli;h=3bbd35c7bc64b2ef5c21f7dee0ed097acaba9427;hb=1c8e230b1d81491b38126900d76201fb84303ced;hp=b0b5fcafcbd2c2170341306445fd853d6066fe4f;hpb=c5e25191f05bb2662fc738bfb2742eb03b941510;p=helm.git

diff --git a/helm/software/components/binaries/transcript/grafite.mli b/helm/software/components/binaries/transcript/grafite.mli
index b0b5fcafc..3bbd35c7b 100644
--- a/helm/software/components/binaries/transcript/grafite.mli
+++ b/helm/software/components/binaries/transcript/grafite.mli
@@ -23,4 +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