Matitaweb: changes in file selection dialog box.

[helm.git] / matitaB / components / ng_kernel / nCicPp.ml

diff --git a/matitaB/components/ng_kernel/nCicPp.ml b/matitaB/components/ng_kernel/nCicPp.ml
index 0d78c4971bd90ff46364aaef74dc6330d78b4f7d..84c95f45abbb7f4bf36772799e400505a3c50619 100644 (file)
--- a/matitaB/components/ng_kernel/nCicPp.ml
+++ b/matitaB/components/ng_kernel/nCicPp.ml
@@ -359,9 +359,10 @@ let ppsubst status ~metasenv ?use_subst subst =
 
 let ppobj status obj = on_buffer (ppobj status) obj;;
 
-class status =
+class status (uid : string option) =
  object(self)
   (* this method is meant to be overridden in ApplyTransformation *)
+  method user = uid
   method ppterm = ppterm self
   method ppcontext = ppcontext self
   method ppmetasenv = ppmetasenv self