]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter.mli
ocaml 3.09 transition
[helm.git] / helm / ocaml / getter / http_getter.mli
index 3f56ae3daaf56f1cc333d1494cfce5e2c9306aa9..4bbc447bdac85cca2102b21b302a05b014ac8d0a 100644 (file)
@@ -45,7 +45,7 @@ val resolve: string -> string (* uri -> url *)
 val exists: string -> bool
 
 val getxml  : string -> string
-val getxslt : ?patch_dtd:bool -> string -> string
+val getxslt : string -> string
 val getdtd  : string -> string
 val clean_cache: unit -> unit
 val getalluris: unit -> string list