X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_cache.mli;h=def1c75973057d3ef4849f7a5fb3285f1b1ade6a;hp=0c477637c9d92e6a3380aa5e9c018ccbb842a082;hb=15fbff73f74c07183edcc9618312e129b0835dc6;hpb=4e683370099ea7aaea877bc345ca8821938d49ed

diff --git a/helm/http_getter/http_getter_cache.mli b/helm/http_getter/http_getter_cache.mli
index 0c477637c..def1c7597 100644
--- a/helm/http_getter/http_getter_cache.mli
+++ b/helm/http_getter/http_getter_cache.mli
@@ -27,17 +27,17 @@
 open Http_getter_types;;
 
 val respond_xml:
-  ?enc:http_getter_encoding -> ?patch_dtd:bool -> url:string -> uri:string ->
+  ?enc:http_getter_encoding -> ?patch:bool -> url:string -> uri:string ->
   out_channel ->
     unit
 
 val respond_xsl:
-  ?enc:http_getter_encoding -> ?patch_dtd:bool -> url:string ->
+  ?enc:http_getter_encoding -> ?patch:bool -> url:string ->
   out_channel ->
     unit
 
 val respond_dtd:
-  ?enc:http_getter_encoding -> ?patch_dtd:bool -> url:string ->
+  ?enc:http_getter_encoding -> ?patch:bool -> url:string ->
   out_channel ->
     unit