From eebee42bc011c09766d09aa18942f95671531a9e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 26 Dec 2002 15:49:17 +0000 Subject: [PATCH] - added module StringSet that implement set of string --- helm/http_getter/http_getter_types.ml | 2 ++ 1 file changed, 2 insertions(+) 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) + -- 2.39.2