X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2FnTacStatus.mli;h=cfb7123bbf0453d90cad5ece72cb4e2d7a5629ff;hb=f9f775a550264a8dc9ce7ea9a48b79892a122c3c;hp=ddaf9da80db58813f8355713e307c05efbbc3814;hpb=f5065f33e0689753c3f2744928b96851ca77ca8d;p=helm.git

diff --git a/matita/components/ng_tactics/nTacStatus.mli b/matita/components/ng_tactics/nTacStatus.mli
index ddaf9da80..cfb7123bb 100644
--- a/matita/components/ng_tactics/nTacStatus.mli
+++ b/matita/components/ng_tactics/nTacStatus.mli
@@ -43,7 +43,7 @@ class auto_status :
 
 class type g_pstatus =
  object
-  inherit LexiconTypes.g_status
+  inherit GrafiteDisambiguate.g_status
   inherit g_auto_status
   inherit g_eq_status
   method obj: NCic.obj
@@ -52,7 +52,7 @@ class type g_pstatus =
 class pstatus :
  NCic.obj ->
   object ('self)
-   inherit LexiconTypes.status
+   inherit GrafiteDisambiguate.status
    inherit auto_status
    inherit eq_status
    method obj: NCic.obj