MathQL query generator: new interface

[helm.git] / helm / ocaml / tactics / tacticChaser.ml

diff --git a/helm/ocaml/tactics/tacticChaser.ml b/helm/ocaml/tactics/tacticChaser.ml
index 47adfeee5ed487ef951ca97cc642b2b1be380c25..f38258d1e96632b4dc14e658b48ccc748a5738e2 100644 (file)
--- a/helm/ocaml/tactics/tacticChaser.ml
+++ b/helm/ocaml/tactics/tacticChaser.ml
@@ -51,8 +51,9 @@ let searchPattern mqi_handle ?(output_html = (fun _ -> ())) ~choose_must () ~sta
   let rigth_must = List.map torigth_restriction must in
   let rigth_only = Some (List.map torigth_restriction only) in
   let result =
-        MQueryGenerator.searchPattern mqi_handle
-               (rigth_must,[],[]) (rigth_only,None,None) in 
+        MQueryInterpreter.execute mqi_handle 
+           (MQueryGenerator.searchPattern
+               (rigth_must,[],[]) (rigth_only,None,None)) in 
        let uris =
         List.map
                (function uri,_ ->