X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fcomponents%2Fng_refiner%2FnCicCoercion.mli;h=f2cd526822b1f5342bf95fd1a27b307934a18c6e;hb=8161bcb58808e60658072bc3da83b62d1df2a223;hp=1094753cfb1ed5b3c942ceef1c2fc88d37a63d84;hpb=b8dac1f8f6b664b78e58c152cd3960e121713f5d;p=helm.git

diff --git a/matita/components/ng_refiner/nCicCoercion.mli b/matita/components/ng_refiner/nCicCoercion.mli
index 1094753cf..f2cd52682 100644
--- a/matita/components/ng_refiner/nCicCoercion.mli
+++ b/matita/components/ng_refiner/nCicCoercion.mli
@@ -13,9 +13,6 @@
 
 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