X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnUri.ml;h=ba87b2e2876709f0cc188c42edbe491f439d2334;hb=31be09cc0d040577917783e050e1d38c0daa8f01;hp=b3c8777681290cfe0348b9af8471da3cca6b66f4;hpb=4de8e995bb4550b3da94aa15a9d71ddc44dad0a8;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);;