X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fdbconn.mli;h=5c9ef79cb6aa26a7362d5781b4c787c20f526be8;hb=48b9bb5e9504aba97cff28a9d7e2797feb42972e;hp=ecfbcd66ae8c263d8457fa96247f30a504e30870;hpb=ba824e867afc3eaf081ed1a1d6526d421242a6a0;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/dbconn.mli b/helm/ocaml/mathql_interpreter/dbconn.mli
index ecfbcd66a..5c9ef79cb 100644
--- a/helm/ocaml/mathql_interpreter/dbconn.mli
+++ b/helm/ocaml/mathql_interpreter/dbconn.mli
@@ -23,6 +23,5 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val pgc : unit -> Postgres.connection
-val init : string -> unit
-val close : unit -> unit
+val init  : string -> Postgres.connection option 
+val close : Postgres.connection option -> unit