X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_refiner%2FnCicUnifHint.mli;h=fafc4a6f860752cd13d546ed5e80d7aacf296c38;hb=47a745462a714af9d65cea7b61af56524bd98fa1;hp=77600663a95b7c333121728b1e019fa8a3a2bcc9;hpb=6c702f5054d7975f76911ba62da9bfa33d3ed0fa;p=helm.git

diff --git a/matitaB/components/ng_refiner/nCicUnifHint.mli b/matitaB/components/ng_refiner/nCicUnifHint.mli
index 77600663a..fafc4a6f8 100644
--- a/matitaB/components/ng_refiner/nCicUnifHint.mli
+++ b/matitaB/components/ng_refiner/nCicUnifHint.mli
@@ -24,7 +24,7 @@ class virtual status :
  string option ->
  object ('self)
   inherit g_status
-  inherit NCic.status
+  inherit NCicEnvironment.status
   method set_uhint_db: db -> 'self
   method set_unifhint_status: #g_status -> 'self
  end