X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fcomponents%2Fng_library%2FnCicLibrary.mli;fp=matitaB%2Fcomponents%2Fng_library%2FnCicLibrary.mli;h=b8453267aaf5522d270ab9561a762bcf99c5218f;hb=2474004a0121023f37f7656289938e307b0272e7;hp=cba90c30cb10e932ba286a93ecbff287cd0e9985;hpb=e79c8b830f9f6b0c3f4d577909e32e1bb4032cdf;p=helm.git

diff --git a/matitaB/components/ng_library/nCicLibrary.mli b/matitaB/components/ng_library/nCicLibrary.mli
index cba90c30c..b8453267a 100644
--- a/matitaB/components/ng_library/nCicLibrary.mli
+++ b/matitaB/components/ng_library/nCicLibrary.mli
@@ -20,6 +20,7 @@ type db
 
 class type g_status =
   object
+    inherit NCicEnvironment.g_status
     method lib_db : db
   end