X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FcoercDb.mli;h=83e61dbfba2f708097e12e7b04dcef6e6ffda710;hb=be2a030746e20744f9a317a31c7053bcfbb6e505;hp=130987df84ae8badbe70efcdb1209e46c74ad570;hpb=910c252965fe17d6b5af92e4658e7d02bac82d58;p=helm.git

diff --git a/helm/software/components/library/coercDb.mli b/helm/software/components/library/coercDb.mli
index 130987df8..83e61dbfb 100644
--- a/helm/software/components/library/coercDb.mli
+++ b/helm/software/components/library/coercDb.mli
@@ -42,6 +42,7 @@ val to_list:
     (coerc_carr * coerc_carr * (UriManager.uri * int * int) list) list
 
 type coerc_db
+val empty_coerc_db : coerc_db
 val dump: unit -> coerc_db
 val restore: coerc_db -> unit
 
@@ -62,3 +63,5 @@ val find_coercion:
   (coerc_carr * coerc_carr -> bool) -> (UriManager.uri * int) list 
     
 val is_a_coercion: Cic.term -> coercion_entry option
+
+val prefer: UriManager.uri -> unit