]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIConn.mli
ocaml 3.09 transition
[helm.git] / helm / ocaml / mathql_interpreter / mQIConn.mli
index 94ea83f76148895ad7db7e6f90dee400e58b9bb3..35c8b3ef002087b54a86de8c5ddfbaa99261cfde 100644 (file)
@@ -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