X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_cic_content%2Finterpretations.ml;h=ed2b58a79235389ae0f335975aad982a454f9854;hb=ccf5878f2a2ec7f952f140e162391708a740517b;hp=75f46943052cc16868f64d102fd5255b279042b0;hpb=4e89ae4ac9b001c0479d68d9f74fe81fca6ecd2d;p=helm.git

diff --git a/matitaB/components/ng_cic_content/interpretations.ml b/matitaB/components/ng_cic_content/interpretations.ml
index 75f469430..ed2b58a79 100644
--- a/matitaB/components/ng_cic_content/interpretations.ml
+++ b/matitaB/components/ng_cic_content/interpretations.ml
@@ -67,9 +67,9 @@ class type g_status =
     method interp_db: db
   end
  
-class virtual status =
+class virtual status uid =
  object(self)
-   inherit NCicCoercion.status
+   inherit NCicCoercion.status uid
    val mutable interp_db = None (* mutable only to initialize it :-( *)
    method interp_db = match interp_db with None -> assert false | Some x -> x
    method set_interp_db v = {< interp_db = Some v >}