nuri_of_ouri, ouri_of_nuri, reference_of_ouri, ouri_of_reference moved

[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 16fd7e489f79efd070019f7f75cfbc4679dbb770..e4dcddc0d0bb509edcda40cfb5f2abf04b26d2cd 100644 (file)
--- a/helm/software/components/ng_kernel/nUri.ml
+++ b/helm/software/components/ng_kernel/nUri.ml
@@ -48,7 +48,3 @@ 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);;
-