X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnUri.ml;h=5d810729404c5ea739e735e877edfe9bf6dfdf8d;hb=56d3455abc6bcffd9d0e2af3ed370bf0751057a0;hp=e94ee90372cc095dd297fd4db7831c46e42076af;hpb=5b45f78ed4293ebbe8cc73ad925bca11a300d021;p=helm.git

diff --git a/helm/software/components/ng_kernel/nUri.ml b/helm/software/components/ng_kernel/nUri.ml
index e94ee9037..5d8107294 100644
--- a/helm/software/components/ng_kernel/nUri.ml
+++ b/helm/software/components/ng_kernel/nUri.ml
@@ -53,3 +53,4 @@ module HT = struct
 end;;
 
 module UriHash = Hashtbl.Make(HT);;
+module UriMap = Map.Make(HT);;