X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_types.ml;h=91c08c38b07604e1ca483e104265e8294334258a;hb=eebee42bc011c09766d09aa18942f95671531a9e;hp=96977b6c546d51c51bb5b9d1207acb526f8b44c2;hpb=86e80bc65186bf4c2824dc94f5f4dd5966843f14;p=helm.git

diff --git a/helm/http_getter/http_getter_types.ml b/helm/http_getter/http_getter_types.ml
index 96977b6c5..91c08c38b 100644
--- a/helm/http_getter/http_getter_types.ml
+++ b/helm/http_getter/http_getter_types.ml
@@ -43,3 +43,5 @@ type http_getter_uri =
   | Xml_uri of http_getter_xml_uri
   | Rdf_uri of http_getter_rdf_uri
 
+module StringSet = Set.Make (String)
+