X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Foptions.ml;h=cdf88c308df83927b8309dc7c227a44f5d6689bf;hp=71e55ececb796ea00dbfe30c05d5b51a696ee5e4;hb=9b1b59a049935f5382ed7def91b807bbf9453894;hpb=88977b2d546e547e23b046792fe2ad8f6ff192a4

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index 71e55ecec..cdf88c308 100644
--- 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