X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnCicPp.mli;h=39fe4f2f6ae7b76fbc0e0f20c4270ebe68401ad7;hb=0d2bfb98d8343b4e6cefdb506a813b7cb5749630;hp=a01895678c0535b655ac4a3c7026d58cc616dd3d;hpb=cb11de1c61f0b61935b1c6c1832deacb49f7b5bd;p=helm.git

diff --git a/matita/components/ng_kernel/nCicPp.mli b/matita/components/ng_kernel/nCicPp.mli
index a01895678..39fe4f2f6 100644
--- a/matita/components/ng_kernel/nCicPp.mli
+++ b/matita/components/ng_kernel/nCicPp.mli
@@ -16,6 +16,8 @@ val set_get_obj: (NUri.uri -> NCic.obj) -> unit
 
 val r2s: bool -> NReference.reference -> string
 
+val string_of_flavour: NCic.def_flavour -> string
+
 val ppterm: 
   context:NCic.context -> 
   subst:NCic.substitution ->