X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Fgrafite.mli;h=53aff69900f528e555e7062991533d3a278d3ef7;hb=9b57abaabd8f66607062c3f33e74928f61468060;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..53aff6990 100644
--- a/helm/software/components/binaries/transcript/grafite.mli
+++ b/helm/software/components/binaries/transcript/grafite.mli
@@ -24,3 +24,5 @@
  *)
 
 val commit: out_channel -> Types.items -> unit
+
+val string_of_inline_kind: Types.inline_kind -> string