X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Flibrary%2FcoercDb.mli;h=92d4b7f2484e231e1547a62899fe094ece785c79;hb=9d5de2f3f3a8921397b939ce2143b22aa71959ea;hp=1f5df89334352f3a299d5ee83ec8f044005c68a3;hpb=9393a9f9370014c904244358abe4ec6e11a9d158;p=helm.git

diff --git a/components/library/coercDb.mli b/components/library/coercDb.mli
index 1f5df8933..92d4b7f24 100644
--- a/components/library/coercDb.mli
+++ b/components/library/coercDb.mli
@@ -42,10 +42,11 @@ exception EqCarrOnNonMetaClosed
 val eq_carr: coerc_carr -> coerc_carr -> bool
 val coerc_carr_of_term: Cic.term -> coerc_carr
 val name_of_carr: coerc_carr -> string
+val uri_of_carr: coerc_carr -> UriManager.uri option
 
 val to_list:
   unit -> 
-    (coerc_carr * coerc_carr * UriManager.uri) list
+    (coerc_carr * coerc_carr * UriManager.uri list) list
 
 val add_coercion:
   coerc_carr * coerc_carr * UriManager.uri -> unit