Fixes a bug (introduced in the previous revision) which caused the environment

[helm.git] / matitaB / components / ng_library / nCicLibrary.mli

diff --git a/matitaB/components/ng_library/nCicLibrary.mli b/matitaB/components/ng_library/nCicLibrary.mli
index cba90c30cb10e932ba286a93ecbff287cd0e9985..b8453267aaf5522d270ab9561a762bcf99c5218f 100644 (file)
--- 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