clean_and_fill optimization

[helm.git] / helm / ocaml / urimanager / uriManager.ml

diff --git a/helm/ocaml/urimanager/uriManager.ml b/helm/ocaml/urimanager/uriManager.ml
index 1ca99d9726eef6df41c10c97eca771d02073abda..f0bc5795892891ac813b14ed0d45c2e8396df871 100644 (file)
--- a/helm/ocaml/urimanager/uriManager.ml
+++ b/helm/ocaml/urimanager/uriManager.ml
@@ -200,3 +200,13 @@ end
 
 module UriSet = Set.Make (OrderedUri)
 
+module HashedUri =
+struct
+  type t = uri
+  let equal = eq
+  let hash = snd
+end
+
+module UriHashtbl = Hashtbl.Make (HashedUri)
+
+