X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fbinaries%2Ftranscript%2Fgrafite.mli;h=53aff69900f528e555e7062991533d3a278d3ef7;hb=refs%2Ftags%2F0.4.95%407852;hp=b0b5fcafcbd2c2170341306445fd853d6066fe4f;hpb=0dfad591e92a2c1174313ed7be80da0084b618b3;p=helm.git

diff --git a/components/binaries/transcript/grafite.mli b/components/binaries/transcript/grafite.mli
index b0b5fcafc..53aff6990 100644
--- a/components/binaries/transcript/grafite.mli
+++ b/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