X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_refiner%2FnCicUnifHint.ml;h=d166b19360fa391fd0a4febc334fe7f28bdaded5;hb=c22f39a5d5afc0ef55beb221e00e2e6703b13d90;hp=6d80fe6ca46eb2d36eec7f61112dea7e94ecdeda;hpb=e603c19e82c160362587cb0bc578287c87122b90;p=helm.git

diff --git a/helm/software/components/ng_refiner/nCicUnifHint.ml b/helm/software/components/ng_refiner/nCicUnifHint.ml
index 6d80fe6ca..d166b1936 100644
--- a/helm/software/components/ng_refiner/nCicUnifHint.ml
+++ b/helm/software/components/ng_refiner/nCicUnifHint.ml
@@ -29,7 +29,9 @@ class status =
   val db = DB.empty
   method uhint_db = db
   method set_uhint_db v = {< db = v >}
-  method set_unifhint_status (o : status) = {< db = o#uhint_db >}
+  method set_unifhint_status
+   : 'status. < uhint_db : db; .. > as 'status -> 'self
+   = fun o -> {< db = o#uhint_db >}
  end
 
 let dummy = NCic.Const (NReference.reference_of_string "cic:/dummy_conv.dec");;