X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FtacticChaser.ml;h=6f83c3fd67bb726d95fae43fe24e8fbada6b1f52;hb=a48c5f0f412bbb8c1d6601dd5e11e5c3746f11d5;hp=76a58091da7899dea84f55847538e6c383b16db9;hpb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;p=helm.git

diff --git a/helm/ocaml/tactics/tacticChaser.ml b/helm/ocaml/tactics/tacticChaser.ml
index 76a58091d..6f83c3fd6 100644
--- a/helm/ocaml/tactics/tacticChaser.ml
+++ b/helm/ocaml/tactics/tacticChaser.ml
@@ -52,11 +52,8 @@ let searchPattern mqi_handle ?(output_html = (fun _ -> ())) ~choose_must () ~sta
   let rigth_only = Some (List.map torigth_restriction only) in
   let result =
 	 MQueryInterpreter.execute mqi_handle 
-	    (MQueryGenerator.query_of_constraints
-        (Some
-          ["http://www.cs.unibo.it/helm/schemas/schema-helm#MainConclusion" ;
-           "http://www.cs.unibo.it/helm/schemas/schema-helm#InConclusion"])
-        (rigth_must,[],[]) (rigth_only,None,None)) in 
+	    (MQueryGenerator.query_of_constraints None
+		(rigth_must,[],[]) (rigth_only,None,None)) in 
 	let uris =
 	 List.map
 		(function uri,_ ->