X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.mli;fp=helm%2Focaml%2Fmathql_interpreter%2Fmqint.mli;h=f6f8827c617d12f7c802448120844ab0189897b5;hb=cef7b3b104313195d378890cd79656e5640eebec;hp=e969e5c663cf6ad053733a3cf8feaa03a9a40f25;hpb=bc8b40d7d0d2fffc2343410d793656a6461285b7;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index e969e5c66..f6f8827c6 100644
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -29,7 +29,7 @@ val execute  : MathQL.query -> MathQL.result (* execute query *)
 
 val close    : unit -> unit                  (* close database *)
 
-val check    : unit -> Postgres.connection   (* check connection *)
+val check    : unit -> unit                  (* check connection *)
 
 val set_stat : bool -> unit                  (* set stat emission *)