X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_refiner%2FnRstatus.mli;h=40974aac21c08b68c9d614de44edaae8fa24a349;hb=7aafcce5268d75a57e69b4085436850567a6c869;hp=7fde1b74733c5be2348432daf060eb5ce29a0a31;hpb=e603c19e82c160362587cb0bc578287c87122b90;p=helm.git

diff --git a/helm/software/components/ng_refiner/nRstatus.mli b/helm/software/components/ng_refiner/nRstatus.mli
index 7fde1b747..40974aac2 100644
--- a/helm/software/components/ng_refiner/nRstatus.mli
+++ b/helm/software/components/ng_refiner/nRstatus.mli
@@ -11,12 +11,18 @@
 
 (* $Id: nCicRefiner.ml 9802 2009-05-25 15:39:26Z tassi $ *)
 
+class type g_status =
+ object
+  inherit NCicCoercion.g_status
+  inherit NCicLibrary.g_status
+ end
+
 class status :
  object ('self)
-  inherit NCicUnifHint.status
   inherit NCicCoercion.status
   inherit NCicLibrary.status
-  method set_rstatus: status -> 'self
+  inherit g_status
+  method set_rstatus: #g_status -> 'self
  end
 
 module Serializer:
@@ -25,10 +31,16 @@ module Serializer:
   val require: baseuri:NUri.uri -> (#status as 'status) -> 'status
  end
 
+class type g_dumpable_status =
+ object
+  inherit g_status
+  method dump: Serializer.obj list
+ end
+
 class dumpable_status :
  object ('self)
   inherit status
-  method dump: Serializer.obj list
+  inherit g_dumpable_status
   method set_dump: Serializer.obj list -> 'self
-  method set_dumpable_status: dumpable_status -> 'self
+  method set_dumpable_status: #g_dumpable_status -> 'self
  end