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