diff options
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/xml/xmlcommand.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/xml/xmlcommand.ml b/contrib/xml/xmlcommand.ml index 815841673..ab113928a 100644 --- a/contrib/xml/xmlcommand.ml +++ b/contrib/xml/xmlcommand.ml @@ -12,8 +12,8 @@ (* CONFIGURATION PARAMETERS *) -let dtdname = "http://localhost:8081/getdtd?uri=cic.dtd";; -let typesdtdname = "http://localhost:8081/getdtd?uri=cictypes.dtd";; +let dtdname = "http://www.cs.unibo.it/helm/dtd/cic.dtd";; +let typesdtdname = "http://www.cs.unibo.it/helm/dtd/cictypes.dtd";; let verbose = ref false;; (* always set to true during a "Print XML All" *) (* UTILITY FUNCTIONS *) |