X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_refiner%2FnRstatus.mli;h=10a4a8a622a5203f7dce1be998b7c373a64f2571;hb=e869500069d11aadd7bbe8afddcdd9044d0b56a7;hp=89f62ce1d3c5d42bb79b06a3161af110972ac1b5;hpb=f4c17198d8afe7c8cd62dbab527d08902d891491;p=helm.git

diff --git a/helm/software/components/ng_refiner/nRstatus.mli b/helm/software/components/ng_refiner/nRstatus.mli
index 89f62ce1d..10a4a8a62 100644
--- 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: