X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIPostgres.ml;h=0e6d7c2cccbbd415723f52e594d6893a3fbba733;hb=b5503c72c5560e8da3337e99bf058f0caab350e8;hp=6f8a6f7ba5af27a48af61bdc80b97f0a6c668f19;hpb=27ebca99c83f84c5a3915695e3f78b36c4fbcedf;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIPostgres.ml b/helm/ocaml/mathql_interpreter/mQIPostgres.ml
index 6f8a6f7ba..0e6d7c2cc 100644
--- a/helm/ocaml/mathql_interpreter/mQIPostgres.ml
+++ b/helm/ocaml/mathql_interpreter/mQIPostgres.ml
@@ -26,6 +26,8 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
+type connection = Postgres.connection
+
 let init connection_string =
    try Some (new Postgres.connection connection_string)
    with _ -> raise (Failure ("MQIPostgres.init: " ^ connection_string))