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

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