deps fixed

[helm.git] / helm / software / components / tactics / autoTactic.mli

diff --git a/helm/software/components/tactics/autoTactic.mli b/helm/software/components/tactics/autoTactic.mli
index d96a826150f2922c9890e41d3988779b7b8b81de..44209bc02d4787b23124abd498f1dabd69a30fe1 100644 (file)
--- a/helm/software/components/tactics/autoTactic.mli
+++ b/helm/software/components/tactics/autoTactic.mli
@@ -26,7 +26,7 @@
 
 val auto_tac:
  params:(string * string) list 
-  -> dbd:HMysql.dbd 
+  -> dbd:HSql.dbd 
   -> universe:Universe.universe
   -> ProofEngineTypes.tactic