MQueryInterpreter: interface updated

[helm.git] / helm / ocaml / mquery_generator / mQueryGenerator.mli

diff --git a/helm/ocaml/mquery_generator/mQueryGenerator.mli b/helm/ocaml/mquery_generator/mQueryGenerator.mli
index b1db11142a9c0920e63d16319d1b18a91d67f1c1..37a98adec20a68be77f5f98e400fc23e01cac12a 100644 (file)
--- a/helm/ocaml/mquery_generator/mQueryGenerator.mli
+++ b/helm/ocaml/mquery_generator/mQueryGenerator.mli
@@ -55,10 +55,10 @@ val set_log_file      : string -> unit
 (* the callback function must return false iff the query must be skipped *)
 val set_confirm_query : (MathQL.query -> bool) -> unit
 
-val execute_query     : MathQL.query -> MathQL.result
+val execute_query     : MQIConn.handle -> MathQL.query -> MathQL.result
 
-val locate            : string -> MathQL.result
+val locate            : MQIConn.handle -> string -> MathQL.result
 
-val searchPattern     : must_restrictions -> only_restrictions -> MathQL.result
+val searchPattern     : MQIConn.handle -> must_restrictions -> only_restrictions -> MathQL.result
 
 val get_query_info    : unit -> string list