new options activated

[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 584dc776a7b8d4a0d533c1b69a1ebce7e2f01414..3c77fe68bc3edb36620323035601e17ef76725a1 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.ml
+++ b/helm/software/helena/src/xml/xmlLibrary.ml
@@ -75,7 +75,7 @@ let gref = "GRef"
 
 let cast = "Cast"
 
-let appl = "Appl"
+let appl x = if x then "Appx" else "Appr"
 
 let proj = "Proj"