X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIConn.mli;h=35c8b3ef002087b54a86de8c5ddfbaa99261cfde;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=94ea83f76148895ad7db7e6f90dee400e58b9bb3;hpb=916a0fe8729686889ee4b1d21026904f1c2e4b84;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.mli b/helm/ocaml/mathql_interpreter/mQIConn.mli
index 94ea83f76..35c8b3ef0 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.mli
+++ b/helm/ocaml/mathql_interpreter/mQIConn.mli
@@ -26,7 +26,7 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
-type connection = MySQL_C    of Mysql.dbd
+type connection = MySQL_C    of HMysql.dbd
                 | Postgres_C of Postgres.connection
 		| No_C