X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FapplyTransformation.ml;h=0528a01ce1bcd6b02bcc317fd70d2b54fd383c72;hb=84b38ac86f1f92b91ae8913cd0dbcb5c3485dc3a;hp=5db35244e397e1e4020403219b4d246e8a95fc04;hpb=4e89ae4ac9b001c0479d68d9f74fe81fca6ecd2d;p=helm.git

diff --git a/matitaB/matita/applyTransformation.ml b/matitaB/matita/applyTransformation.ml
index 5db35244e..0528a01ce 100644
--- a/matitaB/matita/applyTransformation.ml
+++ b/matitaB/matita/applyTransformation.ml
@@ -83,11 +83,11 @@ let ntxt_of_cic_subst ~map_unicode_to_tex size status ~metasenv ?use_subst subst
 *)
 
 
-class status =
+class status uid =
  object(self)
-  inherit Interpretations.status
-  inherit TermContentPres.status
-  inherit NCicPp.status
+  inherit Interpretations.status uid
+  inherit TermContentPres.status uid
+  inherit NCicPp.status uid
 (*
   method ppterm ~context ~subst ~metasenv ?margin ?inside_fix t =
     NCicPp.ppterm ~metasenv ~subst ~context t