= test2 for byte and opt

[helm.git] / helm / software / helena / src / common / options.ml

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index 8bc7c935633f2a209bbabe29079633d4172bd8c5..dc63b1ca642a14265523ac2bd9ac9363e77d215d 100644 (file)
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -31,7 +31,9 @@ END
 
 (* interface functions ******************************************************)
 
-let version_string = "Helena 0.8.3 M (June 2015)"
+let version_string b =
+   if b then "Helena 0.8.3 M (June 2015)"
+   else "Helena 0.8.3 M - June 2015"
 
 let kernel = ref V3          (* kernel type *)