helena: updated prolog exportation to ld3 and ALT-0/PTS

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