X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2FMakefile;h=7a3dbf626cfd1ba945f8add6e28c1428998653da;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=1d47d3cb0035a8c09bbfc5346df8bfab679e2897;hpb=6b6512e2fa9b057fe3fbbc46f14c854449bf2124;p=helm.git

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