From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 21 Mar 2001 17:37:29 +0000 (+0000)
Subject: patched_dtd => patch_dtd
X-Git-Tag: v0_1_2~50
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=37bc283f9c7b75ed10e7a7b7130d41a56b0f8f17;p=helm.git

patched_dtd => patch_dtd
---

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index 8ad40ce64..9e1fe8982 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -123,7 +123,7 @@ function makeURL(type,uri,cicflags,typesflags)
     if (format == "types") ext = ".types"
     else if (format == "ann") ext = ".ann";
     url = getterURL + "getxml?uri=" + uri + ext + "&format=" + mode_list[5] +
-     "&patched_dtd=" + mode_list[6];
+     "&patch_dtd=" + mode_list[6];
   } else {
     if (format == "html" && type == "cic") {
       keys = "C1,HC2,L&param.processorURL=" + escape(processorURL) +