X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnUri.ml;h=e4dcddc0d0bb509edcda40cfb5f2abf04b26d2cd;hb=738ff6e752f9e5facba4e92bdb64453062f52c7d;hp=16fd7e489f79efd070019f7f75cfbc4679dbb770;hpb=e8bc22fd878eefb14d6c78dc6bcf1d620b4022b3;p=helm.git

diff --git a/helm/software/components/ng_kernel/nUri.ml b/helm/software/components/ng_kernel/nUri.ml
index 16fd7e489..e4dcddc0d 100644
--- 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);;
-