X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_refiner%2FnCicCoercion.mli;h=ff6b439974c12f5dfc7b0eea9942629da09d9b93;hb=refs%2Fheads%2Fmatita-lablgtk3;hp=0f514eef69ba86ed9dd33c245852f9c37f0b6780;hpb=7aafcce5268d75a57e69b4085436850567a6c869;p=helm.git

diff --git a/helm/software/components/ng_refiner/nCicCoercion.mli b/helm/software/components/ng_refiner/nCicCoercion.mli
index 0f514eef6..ff6b43997 100644
--- a/helm/software/components/ng_refiner/nCicCoercion.mli
+++ b/helm/software/components/ng_refiner/nCicCoercion.mli
@@ -13,6 +13,9 @@
 
 type db
 
+val set_convert_term:
+ (UriManager.uri -> Cic.term -> NCic.term * NCic.obj list) -> unit
+
 class type g_status =
  object
   inherit NCicUnifHint.g_status