* Part of matita that used to deal with the library moved into ocaml/library

[helm.git] / helm / ocaml / METAS / meta.helm-cic_unification.src

diff --git a/helm/ocaml/METAS/meta.helm-cic_unification.src b/helm/ocaml/METAS/meta.helm-cic_unification.src
index 6cb775dca5e1c6dd36e3002d4657cff8ed0f5dea..75e2d4d31b3703d6636d4ade0e0426497b050be1 100644 (file)
--- a/helm/ocaml/METAS/meta.helm-cic_unification.src
+++ b/helm/ocaml/METAS/meta.helm-cic_unification.src
@@ -1,4 +1,4 @@
-requires="helm-cic_proof_checking"
+requires="helm-cic_proof_checking helm-library"
 version="0.0.1"
 archive(byte)="cic_unification.cma"
 archive(native)="cic_unification.cmxa"