better name for a theorem

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

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index a21e59af7251a09a4c35768a88b78075a5ac7ef4..88d313d3c40892a09b6e9420ecea801bffeb3820 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 helm-cic_disambiguation
 
 INTERFACE_FILES = \
        utils.mli \