X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_map.mli;h=b0725b8defa152f2f9cdab1667ae98a3df8d90dc;hp=3e0cd0878915e93d0643f3a22a95709f963a0db7;hb=12e7928b2ce2113d5ac43d453026d0443f58c5e4;hpb=a96d06ae093236a3be8461912926903e81751578

diff --git a/helm/http_getter/http_getter_map.mli b/helm/http_getter/http_getter_map.mli
index 3e0cd0878..b0725b8de 100644
--- a/helm/http_getter/http_getter_map.mli
+++ b/helm/http_getter/http_getter_map.mli
@@ -36,4 +36,6 @@ class map:
       method iter: (string -> string -> unit) -> unit
       method sync: unit
       method clear: unit
+
+      method close: unit (* use with caution! *)
     end