X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmquery_generator%2FmQueryGenerator.mli;h=37a98adec20a68be77f5f98e400fc23e01cac12a;hb=09151f33b14507e4d20380f3100a6db5f49f3f46;hp=b1db11142a9c0920e63d16319d1b18a91d67f1c1;hpb=28f262128cd08dfaad435f73d3f4eee5976993d6;p=helm.git

diff --git a/helm/ocaml/mquery_generator/mQueryGenerator.mli b/helm/ocaml/mquery_generator/mQueryGenerator.mli
index b1db11142..37a98adec 100644
--- 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