X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_kernel%2FnCicPp.mli;h=fcaa9d1993be6b58baa0b3266731cf5405f967a0;hb=fac3598255cacd81d345099c6ed8cc31ce9b0fd2;hp=02b6c86423e805e0f4b54fb1cd5acb1c6b64abf3;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/ng_kernel/nCicPp.mli b/matitaB/components/ng_kernel/nCicPp.mli
index 02b6c8642..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: NCic.cstatus
+class status: string option -> cstatus
 
 (* variants that use a formatter 
 module Format : sig