- dehypenation involves helena as well

[helm.git] / helm / software / helena / src / xml / xmlLibrary.ml

diff --git a/helm/software/helena/src/xml/xmlLibrary.ml b/helm/software/helena/src/xml/xmlLibrary.ml
index 2796bae24ec23884875543bf79eaa2d14a3209e1..5ca87bdfd69231a2ac266e461dba9259479cc97e 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.ml
+++ b/helm/software/helena/src/xml/xmlLibrary.ml
@@ -30,7 +30,7 @@ let ccs_name = "ccs.ldc"
 
 let ccs_root = "CCS"
 
-let home = "http://lambda-delta.info"
+let home = "http://lambdadelta.info"
 
 let system = home ^ "/" ^ base ^ "/ld.dtd"