X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnUri.ml;h=7e8cf40df876c5b4a084e35898a7a448c0c542aa;hb=561d3c64857fc572a0d7cb3933a5525916cb0677;hp=1b7d519431ed419d92791269553d24b3e9f802f0;hpb=813025418906707f7bbbf43732fc0e8d5cfc6943;p=helm.git

diff --git a/helm/software/components/ng_kernel/nUri.ml b/helm/software/components/ng_kernel/nUri.ml
index 1b7d51943..7e8cf40df 100644
--- a/helm/software/components/ng_kernel/nUri.ml
+++ b/helm/software/components/ng_kernel/nUri.ml
@@ -35,3 +35,7 @@ module HT = struct
 end;;
 
 module UriHash = Hashtbl.Make(HT);;
+
+let ouri_of_nuri u = UriManager.uri_of_string (string_of_uri u);;
+let nuri_of_ouri o = uri_of_string (UriManager.string_of_uri o);;
+