X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_kernel%2FnCic.ml;h=271bf52842494ef50518e158ad8a3db8a7526522;hb=538cee79ad9754ad46015de1fd34a3ad808f08c7;hp=7e4e4f85535dfd76beb667fa2bc475325a699438;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/ng_kernel/nCic.ml b/matitaB/components/ng_kernel/nCic.ml
index 7e4e4f855..271bf5284 100644
--- a/matitaB/components/ng_kernel/nCic.ml
+++ b/matitaB/components/ng_kernel/nCic.ml
@@ -121,8 +121,10 @@ type obj_kind =
 type obj = NUri.uri * int * metasenv * substitution * obj_kind
 
 (* pretty-printing *)
-class virtual status =
+class virtual status (uid : string option) =
  object
+  method user = uid
+
   method virtual ppterm: context:context -> subst:substitution ->
    metasenv:metasenv -> ?margin:int -> ?inside_fix:bool -> term -> string