X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2FMakefile;h=f4c3b5b6ffce0ff2e12f3e1f537daf804e15f986;hb=d579fcbe53997bcf8cc617341cd1da5e6d094c13;hp=80d1d351a0536cc106ce99a3b139c9fe5867a55e;hpb=de782c7f0c4c841b8ecad9399a0948016cf3e2bd;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/Makefile b/helm/ocaml/cic_omdoc/Makefile
index 80d1d351a..f4c3b5b6f 100644
--- 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 =		\