X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_refiner%2FnCicUnifHint.mli;h=77600663a95b7c333121728b1e019fa8a3a2bcc9;hb=62422e871a8ad9a1f730b771826d19980281a12f;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..77600663a 100644
--- a/matitaB/components/ng_refiner/nCicUnifHint.mli
+++ b/matitaB/components/ng_refiner/nCicUnifHint.mli
@@ -21,6 +21,7 @@ class type g_status =
  end
 
 class virtual status :
+ string option ->
  object ('self)
   inherit g_status
   inherit NCic.status