]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_storage.mli
ocaml 3.09 transition
[helm.git] / helm / ocaml / getter / http_getter_storage.mli
index f14c3b6351243ea0e4fcb5bd2d9763e325746076..5dd997843f1c1486be490f8bd02a7a428b2c7f25 100644 (file)
@@ -53,7 +53,7 @@ val ls: string -> string list
    * that the search is performed only if the asked resource is not found in
    * cache (i.e. to perform the find again you need to clean the cache).
    * Defaults to false *)
-val filename: (* ?find:bool -> *) string -> string
+val filename: ?find:bool -> string -> string
 
   (** only works for local resources
    * if both compressed and non-compressed versions of a resource exist, both of