- added module StringSet that implement set of string

diff --git a/helm/http_getter/http_getter_types.ml b/helm/http_getter/http_getter_types.ml
index 96977b6c546d51c51bb5b9d1207acb526f8b44c2..91c08c38b07604e1ca483e104265e8294334258a 100644 (file)
--- 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)
+