X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FtacticChaser.ml;fp=helm%2Focaml%2Ftactics%2FtacticChaser.ml;h=f38258d1e96632b4dc14e658b48ccc748a5738e2;hb=fc3a73230e9c3a8359944ecbc5546f8f63acac25;hp=47adfeee5ed487ef951ca97cc642b2b1be380c25;hpb=ccff14650d0212aeadf0fcf6ef9ed2e792516686;p=helm.git

diff --git a/helm/ocaml/tactics/tacticChaser.ml b/helm/ocaml/tactics/tacticChaser.ml
index 47adfeee5..f38258d1e 100644
--- 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,_ ->