Multi-user matita: changed the status object to include a ``user'' method

[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 02b6c86423e805e0f4b54fb1cd5acb1c6b64abf3..06be5b261786fc6ba8249bb43d343c74fddae2bf 100644 (file)
--- a/matitaB/components/ng_kernel/nCicPp.mli
+++ b/matitaB/components/ng_kernel/nCicPp.mli
@@ -17,7 +17,7 @@ val string_of_flavour: NCic.def_flavour -> string
 
 (* low-level pretty printer;
    all methods are meant to be overridden in ApplyTransformation *)
-class status: NCic.cstatus
+class status: string option -> NCic.cstatus
 
 (* variants that use a formatter 
 module Format : sig