X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_library%2FnCicLibrary.mli;h=b3275b8283095399fcfcc97947b82b75d5e36a5f;hb=c651385ff47f147dd626c62a26e773c7a0ceabfd;hp=3781a47e2dfa757c095d1c5cdca1ede6b5138b89;hpb=210b6e113724900dd5c5745da2881b868154d241;p=helm.git

diff --git a/matita/components/ng_library/nCicLibrary.mli b/matita/components/ng_library/nCicLibrary.mli
index 3781a47e2..b3275b828 100644
--- a/matita/components/ng_library/nCicLibrary.mli
+++ b/matita/components/ng_library/nCicLibrary.mli
@@ -18,7 +18,7 @@ type timestamp
 
 class virtual status :
  object ('self)
-  inherit NCicExtraction.status
+  inherit NCic.status
   method timestamp: timestamp
   method set_timestamp: timestamp -> 'self
   (*CSC: bug here, we are not copying the NCicExtraction part of the status *)