X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2FMakefile;h=1d47d3cb0035a8c09bbfc5346df8bfab679e2897;hb=7efb15b93cf42eae8b34a12a327ee7213c1dbecc;hp=a21e59af7251a09a4c35768a88b78075a5ac7ef4;hpb=61380673d7cff22e19041260cbba4a9cbf5c09c5;p=helm.git

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index a21e59af7..1d47d3cb0 100644
--- a/helm/ocaml/paramodulation/Makefile
+++ b/helm/ocaml/paramodulation/Makefile
@@ -1,11 +1,6 @@
 PACKAGE = paramodulation
 
-REQUIRES = \
-	helm-registry \
-	helm-cic_transformations \
-	helm-tactics \
-	helm-cic_textual_parser2 \
-	mysql
+REQUIRES = helm-tactics
 
 INTERFACE_FILES = \
 	utils.mli \