- fprintf err_formatter "Query: %a\n"
- XPath.Ast.print query;
- let rec print_selec fmt l = match l with
- | [x] -> fprintf fmt "%s" (string_of_int x)
- | x :: tl -> fprintf fmt "%s" ((string_of_int x)^"; ");print_selec fmt tl
- | [] -> fprintf fmt "%s" "ø" in
- fprintf err_formatter "@.@. # Selected nodes: {%a}@."
- print_selec selected_nodes in
+ let run = compute_run doc asta in
+ fprintf err_formatter "\n ### Query: %a"
+ XPath.Ast.print query;
+ fprintf err_formatter "@. ### Selected nodes: {%a}@."
+ print_selec selected_nodes;
+ if flag
+ then begin
+ Asta.print err_formatter asta;
+ Run.print err_formatter run;
+ end
+ else ();
+ let asta = Asta.empty in
+ solve_queries tl in