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

[helm.git] / helm / ocaml / cic_disambiguation / disambiguate.mli

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.mli b/helm/ocaml/cic_disambiguation/disambiguate.mli
index b7ef829a519e1cfd4e08352cb5b197fc00d87ef8..4c62c894f6c86c79f60298c96747267a3329c7b1 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguate.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguate.mli
@@ -32,7 +32,7 @@ exception NoWellTypedInterpretation
 module Make (C : Callbacks) :
   sig
     val disambiguate_term :
-      dbh:Dbi.connection ->
+      dbd:Mysql.dbd ->
       Cic.context ->
       Cic.metasenv ->
       CicAst.term ->