cic_textual_parser2 ==> cic_disambiguation

diff --git a/helm/ocaml/METAS/meta.helm-cic_disambiguation.src b/helm/ocaml/METAS/meta.helm-cic_disambiguation.src
index 19c983609b32759f831fe9ba73e4b7cdf7968e7c..d4c29fd7851aaed166e122f540dfe6a223706510 100644 (file)
--- a/helm/ocaml/METAS/meta.helm-cic_disambiguation.src
+++ b/helm/ocaml/METAS/meta.helm-cic_disambiguation.src
@@ -1,3 +1,4 @@
-description="alias for helm-cic_textual_parser2"
-requires="helm-cic_textual_parser2"
+requires="helm-tactics helm-cic_transformations"
 version="0.0.1"
+archive(byte)="cic_disambiguation.cma"
+archive(native)="cic_disambiguation.cmxa"