X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_cache.mli;h=9aa6e53a5ee024e94d3c2632f5bc59543ae5de5d;hb=d838a20f709408384d53cb0377891b89d2a76f94;hp=a1acfca8cd6a49a89ed42fae93a0780ec61104b2;hpb=17169e1bf3235fa757ef4ee2f5e338b3ca37c129;p=helm.git

diff --git a/helm/http_getter/http_getter_cache.mli b/helm/http_getter/http_getter_cache.mli
index a1acfca8c..9aa6e53a5 100644
--- a/helm/http_getter/http_getter_cache.mli
+++ b/helm/http_getter/http_getter_cache.mli
@@ -43,3 +43,4 @@ val respond_dtd:
   out_channel ->
     unit
 
+val clean: unit -> unit