Debugging stuff removed.

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

diff --git a/helm/ocaml/tactics/tacticChaser.ml b/helm/ocaml/tactics/tacticChaser.ml
index f248735df91f609b36bc8e1ec44ee0004fd4390d..06333d2316582b4615dc4a3618536643539752a5 100644 (file)
--- 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