no longer use Dbi module but directly use Mysql module since it's 13

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

diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile
index 77e61b2f418bbaa018c7ea2340095c2e3f00c670..4394788658bf177231f9d42b386dca1e99209029 100644 (file)
--- a/helm/ocaml/tactics/Makefile
+++ b/helm/ocaml/tactics/Makefile
@@ -2,7 +2,7 @@ PACKAGE = tactics
 REQUIRES = \
        pcre helm-cic_proof_checking \
        helm-cic_unification helm-mathql_interpreter helm-mathql_generator \
-       dbi helm-metadata
+       mysql helm-metadata
 
 INTERFACE_FILES = \
        proofEngineTypes.mli \