helena: warning removed and modifications for λΥP exportation

[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 71e55ececb796ea00dbfe30c05d5b51a696ee5e4..cdf88c308df83927b8309dc7c227a44f5d6689bf 100644 (file)
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -26,7 +26,9 @@ type manager = Quiet
              | LP2    (* elpi helena *)
              | TJ2    (* teyjus helena *)
              | TJ3    (* teyjus helena *)
+(*
              | CC0    (* elpi cic *)
+*)
              | LYP    (* elpi lyp *)
 
 END