X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnUri.mli;h=7330babd6c609fb210c9b74ad9f4904fa3857384;hb=e457ababc4cb5b75540cfa131a30fdee3f9bc0ed;hp=d0dcb723a2c95903b7743beebe9fca6c6c7c9aa9;hpb=813025418906707f7bbbf43732fc0e8d5cfc6943;p=helm.git

diff --git a/helm/software/components/ng_kernel/nUri.mli b/helm/software/components/ng_kernel/nUri.mli
index d0dcb723a..7330babd6 100644
--- a/helm/software/components/ng_kernel/nUri.mli
+++ b/helm/software/components/ng_kernel/nUri.mli
@@ -5,3 +5,7 @@ val uri_of_string: string -> uri
 val eq: uri -> uri -> bool
 
 module UriHash: Hashtbl.S with type key = uri
+
+(* CACCA *)
+val ouri_of_nuri: uri -> UriManager.uri
+val nuri_of_ouri: UriManager.uri -> uri