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

diff --git a/matita/components/ng_tactics/nTacStatus.mli b/matita/components/ng_tactics/nTacStatus.mli
index cfb7123bb..f9eb1917c 100644
--- a/matita/components/ng_tactics/nTacStatus.mli
+++ b/matita/components/ng_tactics/nTacStatus.mli
@@ -52,10 +52,10 @@ class type g_pstatus =
 class pstatus :
  NCic.obj ->
   object ('self)
+   inherit g_pstatus
    inherit GrafiteDisambiguate.status
    inherit auto_status
    inherit eq_status
-   method obj: NCic.obj
    method set_obj: NCic.obj -> 'self
    method set_pstatus: #g_pstatus -> 'self
   end
@@ -130,8 +130,8 @@ class type ['stack] g_status =
 class ['stack] status :
  NCic.obj -> 'stack ->
   object ('self)
+   inherit ['stack] g_status
    inherit pstatus
-   method stack: 'stack
    method set_stack: 'stack -> 'self
    method set_status: 'stack #g_status -> 'self
   end