X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_cache.mli;fp=helm%2Focaml%2Fgetter%2Fhttp_getter_cache.mli;h=a026e72c09d278478129b0d7ff52d8d09fbf526e;hb=c19ffb699f8f4681f0c7d9f59fae96f2023cd058;hp=11211288aa8faaf5375ee2499a032541f0465bda;hpb=ae25bae855f66b7ebc9926a80dc38e622f0cff38;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_cache.mli b/helm/ocaml/getter/http_getter_cache.mli
index 11211288a..a026e72c0 100644
--- a/helm/ocaml/getter/http_getter_cache.mli
+++ b/helm/ocaml/getter/http_getter_cache.mli
@@ -28,6 +28,8 @@
 
 open Http_getter_types;;
 
+(** all these methods could raise Http_getter_types.Cache_failure *)
+
 val respond_xml:
   ?enc:encoding -> ?patch:bool -> url:string -> uri:string -> out_channel ->
     unit