X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmquery_generator%2FmQueryGenerator.ml;h=ec9f98d1c3208aa0b9fd4882b4ae4caf6fe300f9;hb=a69b6f01bfeda05c431325a5defb5c5592427791;hp=ed52e55bda7e11825d8299628fcb2c6369d990c8;hpb=718bc0ea70defa418c23850dbb8f2850b0c3a542;p=helm.git

diff --git a/helm/ocaml/mquery_generator/mQueryGenerator.ml b/helm/ocaml/mquery_generator/mQueryGenerator.ml
index ed52e55bd..ec9f98d1c 100644
--- a/helm/ocaml/mquery_generator/mQueryGenerator.ml
+++ b/helm/ocaml/mquery_generator/mQueryGenerator.ml
@@ -33,9 +33,14 @@
 (*                                                                            *)
 (******************************************************************************)
 
-(* Query issuing functions **************************************************)
+module MQICallbacks =
+   struct
+      let log s = prerr_string s
+   end
 
+module MQI = MQueryInterpreter.Make(MQICallbacks)
 
+(* Query issuing functions **************************************************)
 
 type uri = string
 type position = string
@@ -93,7 +98,7 @@ let execute_query query =
       flush och 
    in
    let execute q =
-      let r = Mqint.execute q in    
+      let r = MQI.execute "" q in    
       if ! log_file <> "" then log q r; 
       info := string_of_int ! query_num :: ! info;
       incr query_num;