- 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 d4deb6795c92f5d06e4168dfe6647a386184379b..def1c75973057d3ef4849f7a5fb3285f1b1ade6a 100644 (file)
--- a/helm/http_getter/http_getter_cache.mli
+++ b/helm/http_getter/http_getter_cache.mli
@@ -1,5 +1,5 @@
 (*
- *  Copyright (C) 2000, HELM Team.
+ *  Copyright (C) 2003, HELM Team.
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -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