X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FinvokeTactics.mli;h=993199fe4b9fa70866297dc9aef8e40a8e79b715;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=cf116a5421e2ae665b28c12f078a2232746ebe5e;hpb=0147ba258d67f061386c398c48948810d1efaa64;p=helm.git

diff --git a/helm/gTopLevel/invokeTactics.mli b/helm/gTopLevel/invokeTactics.mli
index cf116a542..993199fe4 100644
--- a/helm/gTopLevel/invokeTactics.mli
+++ b/helm/gTopLevel/invokeTactics.mli
@@ -60,7 +60,7 @@ module type Callbacks =
       (UriManager.uri * int * 'b list) list
     val mk_fresh_name_callback : ProofEngineTypes.mk_fresh_name_type
     val mqi_handle : MQIConn.handle
-    val dbh : Dbi.connection
+    val dbd:Mysql.dbd
   end
 
 module type Tactics =