snapshot for CSC

[helm.git] / helm / software / components / ng_refiner / nRstatus.mli

diff --git a/helm/software/components/ng_refiner/nRstatus.mli b/helm/software/components/ng_refiner/nRstatus.mli
index 89f62ce1d3c5d42bb79b06a3161af110972ac1b5..10a4a8a622a5203f7dce1be998b7c373a64f2571 100644 (file)
--- a/helm/software/components/ng_refiner/nRstatus.mli
+++ b/helm/software/components/ng_refiner/nRstatus.mli
@@ -13,7 +13,6 @@
 
 class status :
  object ('self)
-  inherit NCicUnifHint.status
   inherit NCicCoercion.status
   inherit NCicLibrary.status
   method set_rstatus: