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

diff --git a/helm/software/components/ng_refiner/nRstatus.mli b/helm/software/components/ng_refiner/nRstatus.mli
index 40974aac2..631e629e5 100644
--- a/helm/software/components/ng_refiner/nRstatus.mli
+++ b/helm/software/components/ng_refiner/nRstatus.mli
@@ -11,36 +11,7 @@
 
 (* $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 type g_status = NCicCoercion.status
 
-class status :
- object ('self)
-  inherit NCicCoercion.status
-  inherit NCicLibrary.status
-  inherit g_status
-  method set_rstatus: #g_status -> 'self
- end
+class status : NCicCoercion.status
 
-module Serializer:
- sig
-  include NCicLibrary.Serializer with type status = status 
-  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
-  inherit g_dumpable_status
-  method set_dump: Serializer.obj list -> 'self
-  method set_dumpable_status: #g_dumpable_status -> 'self
- end