This commit patches the environment and the library so that their status is

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

diff --git a/matitaB/components/ng_kernel/nCicPp.mli b/matitaB/components/ng_kernel/nCicPp.mli
index 06be5b261786fc6ba8249bb43d343c74fddae2bf..fcaa9d1993be6b58baa0b3266731cf5405f967a0 100644 (file)
--- a/matitaB/components/ng_kernel/nCicPp.mli
+++ b/matitaB/components/ng_kernel/nCicPp.mli
@@ -11,13 +11,19 @@
 
 (* $Id$ *)
 
-val r2s: #NCic.status -> bool -> NReference.reference -> string
+val r2s: #NCicEnvironment.status -> bool -> NReference.reference -> string
 
 val string_of_flavour: NCic.def_flavour -> string
 
+class type cstatus =
+  object
+    inherit NCicEnvironment.status
+    inherit NCic.cstatus
+  end
+
 (* low-level pretty printer;
    all methods are meant to be overridden in ApplyTransformation *)
-class status: string option -> NCic.cstatus
+class status: string option -> cstatus
 
 (* variants that use a formatter 
 module Format : sig