X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_cic_content%2Finterpretations.mli;h=2bf18caa6e24d2021933ecbcd9a537ecee632a75;hb=4556677f40e6b979d9bdaa4475bb1ca6701264f8;hp=4b9fdae768c7e64385dbb71996535fce907a2795;hpb=8161bcb58808e60658072bc3da83b62d1df2a223;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