X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2FMakefile;h=7a3dbf626cfd1ba945f8add6e28c1428998653da;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=88d313d3c40892a09b6e9420ecea801bffeb3820;hpb=c1a270db687e5cea3410b10634728c6ec57d2caa;p=helm.git

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