X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FMakefile;h=744527b1e08aa6f61ad3f5ee5ed96a959b5ea23e;hb=fdd8107cc53f5e862004aa5fcd48593ee5634234;hp=60ca2cd0c205ee28a4e6fe9390289f8fa74451e3;hpb=03cb4be465e546a00f870213b14dcf1b71c4831d;p=helm.git

diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile
index 60ca2cd0c..744527b1e 100644
--- a/helm/ocaml/tactics/Makefile
+++ b/helm/ocaml/tactics/Makefile
@@ -1,8 +1,10 @@
 PACKAGE = tactics
 REQUIRES = \
-	pcre helm-cic_proof_checking \
-	helm-cic_unification helm-mathql_interpreter helm-mathql_generator \
-	mysql helm-metadata
+	pcre \
+	helm-cic_proof_checking \
+	helm-cic_unification \
+	mysql \
+	helm-metadata
 
 INTERFACE_FILES = \
 	proofEngineTypes.mli \