X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_kernel%2FnCicPp.mli;h=fcaa9d1993be6b58baa0b3266731cf5405f967a0;hb=e79c8b830f9f6b0c3f4d577909e32e1bb4032cdf;hp=06be5b261786fc6ba8249bb43d343c74fddae2bf;hpb=9dac2c325dca1b5b92d6ba11dadf470538bae28e;p=helm.git

diff --git a/matitaB/components/ng_kernel/nCicPp.mli b/matitaB/components/ng_kernel/nCicPp.mli
index 06be5b261..fcaa9d199 100644
--- 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