- label name changes: s/patch_dtd/patch because "patch_dtd" isn't really

[helm.git] / helm / http_getter / http_getter_cache.mli

diff --git a/helm/http_getter/http_getter_cache.mli b/helm/http_getter/http_getter_cache.mli
index 0c477637c9d92e6a3380aa5e9c018ccbb842a082..def1c75973057d3ef4849f7a5fb3285f1b1ade6a 100644 (file)
--- 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