...

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index a21e59af7251a09a4c35768a88b78075a5ac7ef4..1d47d3cb0035a8c09bbfc5346df8bfab679e2897 100644 (file)
--- 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 \