X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIConn.ml;h=aaf16fac4c0c692c037eaa793b58c80a7c734622;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=d4a0b067fd5c336fcdee15b6124fa13fe1bb9150;hpb=52f0f77f24e6a1dfd2a1b277d6ade218039ba574;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.ml b/helm/ocaml/mathql_interpreter/mQIConn.ml
index d4a0b067f..aaf16fac4 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.ml
+++ b/helm/ocaml/mathql_interpreter/mQIConn.ml
@@ -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