X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql_interpreter%2FmQIConn.mli;h=fba3d4263388b9ab8eda2cad7eaa59b4e5238106;hb=b5503c72c5560e8da3337e99bf058f0caab350e8;hp=b83453ae9683ba8a183233019ff032a88c1d8b79;hpb=bcec0bb27e0dce3e72c97011f9c9dd210f604705;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.mli b/helm/ocaml/mathql_interpreter/mQIConn.mli
index b83453ae9..fba3d4263 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.mli
+++ b/helm/ocaml/mathql_interpreter/mQIConn.mli
@@ -45,7 +45,7 @@ val init_if_connected : ?flags:(flag list) -> ?log:(string -> unit) -> unit -> h
 
 val log     : handle -> string -> unit
 val set     : handle -> flag -> bool   
-val pgc     : handle -> Postgres.connection option
+val pgc     : handle -> MQIDataBase.connection option
 val flags   : handle -> flag list  
 val tables  : handle -> MathQL.path -> MQIMap.pg_tables
 val field   : handle -> MathQL.path -> string -> string