mathql query generator interface patched

[helm.git] / helm / ocaml / tactics / Makefile

diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile
index 35cd5351742f494bcdd58deb83ea62e30d856cc6..0018ce2306c76193ed97189e980d73ce490d397f 100644 (file)
--- 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 \