new options activated

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

diff --git a/helm/software/helena/src/xml/xmlLibrary.mli b/helm/software/helena/src/xml/xmlLibrary.mli
index ed7901f57789de19c5b87a3f825d2cc531871020..4ac5dc913413a9ab0c9f20bfec7c8bb2c2bbffe0 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.mli
+++ b/helm/software/helena/src/xml/xmlLibrary.mli
@@ -27,7 +27,7 @@ val gref: string
 
 val cast: string
 
-val appl: string
+val appl: bool -> string
 
 val proj: string