the db connection parameters are now parametrized istead of hard-coded

[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 d86772622fad718ca2e0f247c0274d47b0e0f88a..d7dcf9ebcd2f35e23f1d517f3a715d8c294ee176 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -23,7 +23,7 @@
  * 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 *)