X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_transformations%2FMakefile;h=c5b5eaf09d9a741bea767ff7f8e75f054dd4f74c;hb=d579fcbe53997bcf8cc617341cd1da5e6d094c13;hp=4a8977aa76254bbf99b43505e026b68af3803de1;hpb=de782c7f0c4c841b8ecad9399a0948016cf3e2bd;p=helm.git

diff --git a/helm/ocaml/cic_transformations/Makefile b/helm/ocaml/cic_transformations/Makefile
index 4a8977aa7..c5b5eaf09 100644
--- a/helm/ocaml/cic_transformations/Makefile
+++ b/helm/ocaml/cic_transformations/Makefile
@@ -1,13 +1,4 @@
 PACKAGE = cic_transformations
-REQUIRES = 			\
-	gdome2 			\
-	helm-xml		\
-	helm-cic_proof_checking	\
-	helm-cic_omdoc		\
-	helm-registry		\
-	helm-utf8_macros	\
-	helm-cic_notation	\
-	$(NULL)
 PREDICATES =
 
 # modules which have both a .ml and a .mli