milestone in basic_2 with additions in static_2

[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 b3c8777681290cfe0348b9af8471da3cca6b66f4..ba87b2e2876709f0cc188c42edbe491f439d2334 100644 (file)
--- a/matita/components/ng_kernel/nUri.ml
+++ b/matita/components/ng_kernel/nUri.ml
@@ -59,3 +59,4 @@ end;;
 
 module UriHash = Hashtbl.Make(HT);;
 module UriMap = Map.Make(HT);;
+module UriSet = Set.Make(HT);;