cic module removed (RIP)

[helm.git] / matita / components / ng_kernel / nCicPp.mli

diff --git a/matita/components/ng_kernel/nCicPp.mli b/matita/components/ng_kernel/nCicPp.mli
index a01895678c0535b655ac4a3c7026d58cc616dd3d..39fe4f2f6ae7b76fbc0e0f20c4270ebe68401ad7 100644 (file)
--- 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 ->