jet a change in dependences

[helm.git] / helm / software / helena / src / toplevel / top.ml

diff --git a/helm/software/helena/src/toplevel/top.ml b/helm/software/helena/src/toplevel/top.ml
index c80bff4f85dc06fc82bc2c06ff5a279de9149e32..b7c6fc1355c056329c416075b81d83953f4ea732 100644 (file)
--- a/helm/software/helena/src/toplevel/top.ml
+++ b/helm/software/helena/src/toplevel/top.ml
@@ -439,6 +439,7 @@ let main =
 (IFDEF QUOTE THEN "QUOTE" ELSE "" END);
 (IFDEF STAGE THEN "STAGE" ELSE "" END);
 (IFDEF TYPE THEN "TYPE" ELSE "" END);
+(IFDEF PROFV THEN "PROFV" ELSE "" END);
       ] in
       let map s = s <> "" in
       let features_string = KT.concat " " (KL.filter map features) in