X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaDisambiguator.mli;h=5b7bbc8808ff05ffe739b2f8bc48c9996f8a2940;hb=e01753bf730b3c4e50df0655f7940f8720b16524;hp=8397e4dbff59017056ab2dbb92fa43a1669c7daa;hpb=56415e42c04f40e9c8f7cfc59a3a3d87c3d373f7;p=helm.git

diff --git a/helm/matita/matitaDisambiguator.mli b/helm/matita/matitaDisambiguator.mli
index 8397e4dbf..5b7bbc880 100644
--- a/helm/matita/matitaDisambiguator.mli
+++ b/helm/matita/matitaDisambiguator.mli
@@ -27,7 +27,7 @@ class parserr: unit -> MatitaTypes.parserr
 
 class disambiguator:
   parserr:MatitaTypes.parserr -> (** parser *)
-  mqiconn:MQIConn.handle -> (** mathql database connection *)
+  dbd:Mysql.dbd ->
   chooseUris:MatitaTypes.choose_uris_callback ->
   chooseInterp:MatitaTypes.choose_interp_callback ->
     unit ->