EXPERIMENTAL COMMIT (by CSC,actuall :-)

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

diff --git a/helm/software/components/ng_kernel/nUri.ml b/helm/software/components/ng_kernel/nUri.ml
index e94ee90372cc095dd297fd4db7831c46e42076af..5d810729404c5ea739e735e877edfe9bf6dfdf8d 100644 (file)
--- a/helm/software/components/ng_kernel/nUri.ml
+++ b/helm/software/components/ng_kernel/nUri.ml
@@ -53,3 +53,4 @@ module HT = struct
 end;;
 
 module UriHash = Hashtbl.Make(HT);;
+module UriMap = Map.Make(HT);;