X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FMakefile;h=0018ce2306c76193ed97189e980d73ce490d397f;hb=4c9da07604c4f8b66e4e92861ee38129422d23fb;hp=35cd5351742f494bcdd58deb83ea62e30d856cc6;hpb=11b9b274291baa8c5462b2ce3e2a5f93a39c9d57;p=helm.git

diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile
index 35cd53517..0018ce230 100644
--- a/helm/ocaml/tactics/Makefile
+++ b/helm/ocaml/tactics/Makefile
@@ -1,7 +1,7 @@
 PACKAGE = tactics
 REQUIRES = \
 	helm-cic_textual_parser helm-cic_proof_checking helm-cic_unification \
-	helm-mquery_generator
+	helm-mathql_interpreter helm-mathql_generator
 
 INTERFACE_FILES =	\
 	proofEngineReduction.mli proofEngineHelpers.mli	\