X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_cic_content%2Finterpretations.mli;h=2bf18caa6e24d2021933ecbcd9a537ecee632a75;hb=29e65035d698f11ab4d3a627f8b9b6027f1f20d5;hp=4b9fdae768c7e64385dbb71996535fce907a2795;hpb=f9f775a550264a8dc9ce7ea9a48b79892a122c3c;p=helm.git

diff --git a/matita/components/ng_cic_content/interpretations.mli b/matita/components/ng_cic_content/interpretations.mli
index 4b9fdae76..2bf18caa6 100644
--- a/matita/components/ng_cic_content/interpretations.mli
+++ b/matita/components/ng_cic_content/interpretations.mli
@@ -38,8 +38,8 @@ class type g_status =
 
 class status :
   object ('self)
+    inherit g_status
     inherit NCicCoercion.status
-    method interp_db: db
     method set_interp_db: db -> 'self
     method set_interp_status: #g_status -> 'self
   end