hash function exported

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

diff --git a/matita/components/ng_kernel/nReference.ml b/matita/components/ng_kernel/nReference.ml
index e209d05bef8e8d3c28b13093addee5f4be070b69..bb560bfd6349161810d9a0fd05a4b83e9d286f0c 100644 (file)
--- a/matita/components/ng_kernel/nReference.ml
+++ b/matita/components/ng_kernel/nReference.ml
@@ -30,6 +30,10 @@ let compare (Ref (u1,s1)) (Ref (u2,s2)) =
   if res = 0 then compare s1 s2 else res
 ;;
 
+let hash (Ref (uri,spec)) =
+ Hashtbl.hash spec + NUri.hash uri
+;;
+
 module OrderedStrings =
  struct
   type t = string