X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FdisambiguatingParser.mli;fp=helm%2FgTopLevel%2FdisambiguatingParser.mli;h=a8afd0e65c3a0e23d6846e4b79e75984aacc207b;hb=282f371ba8533ea0e4e667265f9e4b04856bf972;hp=53b885088d4cfba8fac7f9db2285d7a6eab56bc5;hpb=08b4e4ec7df6644f42fcad30b9d46195c935cf6e;p=helm.git

diff --git a/helm/gTopLevel/disambiguatingParser.mli b/helm/gTopLevel/disambiguatingParser.mli
index 53b885088..a8afd0e65 100644
--- a/helm/gTopLevel/disambiguatingParser.mli
+++ b/helm/gTopLevel/disambiguatingParser.mli
@@ -36,7 +36,7 @@ module EnvironmentP3 :
 module Make (C : DisambiguateTypes.Callbacks) :
   sig
     val disambiguate_term :
-      dbh:Dbi.connection ->
+      dbd:Mysql.dbd ->
       Cic.context ->
       Cic.metasenv ->
       string ->