X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMETAS%2Fmeta.helm-cic_disambiguation.src;h=d4c29fd7851aaed166e122f540dfe6a223706510;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=19c983609b32759f831fe9ba73e4b7cdf7968e7c;hpb=359a1bd5ae0e0a1495573e087b3ce29cd2dd442e;p=helm.git

diff --git a/helm/ocaml/METAS/meta.helm-cic_disambiguation.src b/helm/ocaml/METAS/meta.helm-cic_disambiguation.src
index 19c983609..d4c29fd78 100644
--- 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"