X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnUri.ml;h=ba87b2e2876709f0cc188c42edbe491f439d2334;hb=74c6905907b0bca229366d52450e2a6982b5b8be;hp=e92be39e16d6a4b6575c66101b042b1aaca309d8;hpb=bfcde2b08d72f1392ed61164c67d199360f0397f;p=helm.git

diff --git a/matita/components/ng_kernel/nUri.ml b/matita/components/ng_kernel/nUri.ml
index e92be39e1..ba87b2e28 100644
--- a/matita/components/ng_kernel/nUri.ml
+++ b/matita/components/ng_kernel/nUri.ml
@@ -48,13 +48,15 @@ fun s ->
 
 let eq = (==);;
 let compare (n1,_) (n2,_) = n2 - n1;;
+let hash (n,_) = n;;
 
 module HT = struct
         type t = uri
         let equal = eq
         let compare = compare
-        let hash (n,_) = n;;
+        let hash = hash;;
 end;;
 
 module UriHash = Hashtbl.Make(HT);;
 module UriMap = Map.Make(HT);;
+module UriSet = Set.Make(HT);;