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

[helm.git] / matitaB / components / content_pres / termContentPres.mli

diff --git a/matitaB/components/content_pres/termContentPres.mli b/matitaB/components/content_pres/termContentPres.mli
index 4d0bb909b97ee65ae9d1f7a744e32435d67c37e3..34e63aa649d7b5aa4784a26381d4a48110d501eb 100644 (file)
--- a/matitaB/components/content_pres/termContentPres.mli
+++ b/matitaB/components/content_pres/termContentPres.mli
@@ -33,6 +33,7 @@ class type g_status =
   end
 
 class virtual status :
+  string option ->
   object ('self)
     inherit NCic.status
     method content_pres_db: db