mqint updated

[helm.git] / helm / ocaml / mathql_interpreter / mqint.mli

diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index 45e8b60efcbdc2baab270d1866b5563e287cdf3a..d86772622fad718ca2e0f247c0274d47b0e0f88a 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -28,3 +28,5 @@ val init    : unit -> unit                  (* open database *)
 val execute : MathQL.query -> MathQL.result (* execute query *)
 
 val close   : unit -> unit                  (* close database *)
+
+val check   : unit -> Postgres.connection   (* controllo connessione *)