X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_tactics%2FnTacStatus.ml;fp=matitaB%2Fcomponents%2Fng_tactics%2FnTacStatus.ml;h=3684c051f5913ea8adc9c4eca53272a2113b9b2e;hb=6c702f5054d7975f76911ba62da9bfa33d3ed0fa;hp=9a6358baaf3e98ee5d4de13bd12e3ee9c02e2e61;hpb=8196005571cabe243e658b08a71ffe7df6efa1d7;p=helm.git

diff --git a/matitaB/components/ng_tactics/nTacStatus.ml b/matitaB/components/ng_tactics/nTacStatus.ml
index 9a6358baa..3684c051f 100644
--- a/matitaB/components/ng_tactics/nTacStatus.ml
+++ b/matitaB/components/ng_tactics/nTacStatus.ml
@@ -72,10 +72,10 @@ class type g_pstatus =
   method obj: NCic.obj
  end
 
-class virtual pstatus =
+class virtual pstatus uid =
  fun (o: NCic.obj) ->
  object (self)
-   inherit GrafiteDisambiguate.status
+   inherit GrafiteDisambiguate.status uid
    inherit auto_status
    inherit eq_status
    val obj = o
@@ -479,10 +479,10 @@ class type ['stack] g_status =
   method stack: 'stack
  end
 
-class virtual ['stack] status =
+class virtual ['stack] status uid =
  fun (o: NCic.obj) (s: 'stack) ->
  object (self)
-   inherit (pstatus o)
+   inherit (pstatus uid o)
    val stack = s
    method stack = stack
    method set_stack s = {< stack = s >}