X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnUri.ml;h=ba87b2e2876709f0cc188c42edbe491f439d2334;hb=243d091f23f8338e155cdde14969a6043b8c89af;hp=b3c8777681290cfe0348b9af8471da3cca6b66f4;hpb=7cdb8e166b4f74dc6ddd39c7ca332e618b2bd960;p=helm.git

diff --git a/matita/components/ng_kernel/nUri.ml b/matita/components/ng_kernel/nUri.ml
index b3c877768..ba87b2e28 100644
--- 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);;