X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2FtacticChaser.ml;h=06333d2316582b4615dc4a3618536643539752a5;hb=03d1ddf4a7fdf03fd497babd84d1963048253f0d;hp=f248735df91f609b36bc8e1ec44ee0004fd4390d;hpb=96134b9ec1030ed15cea00d751dd4d744463f62c;p=helm.git

diff --git a/helm/ocaml/tactics/tacticChaser.ml b/helm/ocaml/tactics/tacticChaser.ml
index f248735df..06333d231 100644
--- a/helm/ocaml/tactics/tacticChaser.ml
+++ b/helm/ocaml/tactics/tacticChaser.ml
@@ -46,7 +46,7 @@ let matchConclusion mqi_handle ?(output_html = (fun _ -> ())) ~choose_must () ~s
   let result =
 	 I.execute mqi_handle 
 	    (G.query_of_constraints
-        (Some U.universe_for_match_conclusion)
+        (Some CGMatchConclusion.universe)
         (must,[],[]) (Some only,None,None)) in 
 	let uris =
 	 List.map