removed the need of REQUIRES in libraries Makefile, they are now queried from the...

[helm.git] / helm / ocaml / cic_omdoc / Makefile

diff --git a/helm/ocaml/cic_omdoc/Makefile b/helm/ocaml/cic_omdoc/Makefile
index 80d1d351a0536cc106ce99a3b139c9fe5867a55e..f4c3b5b6ffce0ff2e12f3e1f537daf804e15f986 100644 (file)
--- a/helm/ocaml/cic_omdoc/Makefile
+++ b/helm/ocaml/cic_omdoc/Makefile
@@ -1,5 +1,4 @@
 PACKAGE = cic_omdoc
-REQUIRES = helm-cic_proof_checking
 PREDICATES =
 
 INTERFACE_FILES =              \