]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/METAS/meta.helm-cic_disambiguation.src
bugfix: typo which implied using the wrong pattern
[helm.git] / helm / ocaml / METAS / meta.helm-cic_disambiguation.src
index 19c983609b32759f831fe9ba73e4b7cdf7968e7c..d2e467aae73a66bdf0a4933427dd80c09bef9c81 100644 (file)
@@ -1,3 +1,4 @@
-description="alias for helm-cic_textual_parser2"
-requires="helm-cic_textual_parser2"
+requires="helm-whelp helm-acic_content helm-cic_unification"
 version="0.0.1"
+archive(byte)="cic_disambiguation.cma"
+archive(native)="cic_disambiguation.cmxa"