clean_and_fill optimization

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

diff --git a/helm/ocaml/urimanager/uriManager.mli b/helm/ocaml/urimanager/uriManager.mli
index 8691600a9af45146109fa8e21eac1faf5deec54e..5f0600c7e077a840d2ce2067e1cb396f532358ee 100644 (file)
--- a/helm/ocaml/urimanager/uriManager.mli
+++ b/helm/ocaml/urimanager/uriManager.mli
@@ -65,3 +65,5 @@ val uri_of_uriref :  uri -> int -> int option -> uri
 
 module UriSet: Set.S with type elt = uri
 
+module UriHashtbl : Hashtbl.S with type key = uri
+