X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.mli;h=d7dcf9ebcd2f35e23f1d517f3a715d8c294ee176;hb=14c77c97790562bd07405a290e3517c2532b7d12;hp=45e8b60efcbdc2baab270d1866b5563e287cdf3a;hpb=8207214be059c22b92976623035ee94e45e24486;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index 45e8b60ef..d7dcf9ebc 100644
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -23,8 +23,10 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val init    : unit -> unit                  (* open database *)
+val init    : string -> unit                (* open database *)
 
 val execute : MathQL.query -> MathQL.result (* execute query *)
 
 val close   : unit -> unit                  (* close database *)
+
+val check   : unit -> Postgres.connection   (* controllo connessione *)