X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_refiner%2FnCicUnifHint.mli;h=fafc4a6f860752cd13d546ed5e80d7aacf296c38;hb=3c8da07d7a5d7cf0432a83732a6d103f527afaef;hp=832e980e21f163c26208602009a473ff8fdc0808;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/ng_refiner/nCicUnifHint.mli b/matitaB/components/ng_refiner/nCicUnifHint.mli
index 832e980e2..fafc4a6f8 100644
--- a/matitaB/components/ng_refiner/nCicUnifHint.mli
+++ b/matitaB/components/ng_refiner/nCicUnifHint.mli
@@ -21,9 +21,10 @@ class type g_status =
  end
 
 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