hash function exported

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

diff --git a/matita/components/ng_kernel/nUri.ml b/matita/components/ng_kernel/nUri.ml
index e92be39e16d6a4b6575c66101b042b1aaca309d8..b3c8777681290cfe0348b9af8471da3cca6b66f4 100644 (file)
--- a/matita/components/ng_kernel/nUri.ml
+++ b/matita/components/ng_kernel/nUri.ml
@@ -48,12 +48,13 @@ 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);;