oldenv2newenv cache

[helm.git] / helm / software / components / ng_kernel / nUri.ml

diff --git a/helm/software/components/ng_kernel/nUri.ml b/helm/software/components/ng_kernel/nUri.ml
index 1b7d519431ed419d92791269553d24b3e9f802f0..7e8cf40df876c5b4a084e35898a7a448c0c542aa 100644 (file)
--- 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);;
+