ocaml 3.09 transition

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

diff --git a/helm/ocaml/METAS/meta.helm-cic_proof_checking.src b/helm/ocaml/METAS/meta.helm-cic_proof_checking.src
index 08b099ec35402895d3eca5fe14bbbe99de7974f4..223a182a91e5e380e84384647bd3208bb329843a 100644 (file)
--- a/helm/ocaml/METAS/meta.helm-cic_proof_checking.src
+++ b/helm/ocaml/METAS/meta.helm-cic_proof_checking.src
@@ -1,4 +1,4 @@
-requires="helm-cic"
+requires="helm-cic helm-logger helm-getter"
 version="0.0.1"
 archive(byte)="cic_proof_checking.cma"
 archive(native)="cic_proof_checking.cmxa"