X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fsolve.ml;h=b6dee3b76a5e1f87931c2d886ed06e7a5cc97f01;hb=48457c0a99124a16ab29d7b84bcca85e0f3185a4;hp=d898bab434af5af1131f0a34ae3b54570a47b90a;hpb=908fd26b0dd93060dec75d797b49b2c78e631da7;p=tatoo.git

diff --git a/src/solve.ml b/src/solve.ml
index d898bab..b6dee3b 100644
--- a/src/solve.ml
+++ b/src/solve.ml
@@ -59,19 +59,20 @@ let () =
   let doc = doc () in
   output_string stderr "##### Doc with positions #####\n";
   Tree.print_xml_preorder stderr doc (Tree.root doc);
+  output_string stderr "\n";
   let queries = query () in
   let rec solve_queries = function
     | [] -> ()
     | query :: tl ->
       let asta = build_asta query in
       let selected_nodes = Run.selected_nodes doc asta in
-      fprintf err_formatter "Query: %a\n"
+      fprintf err_formatter "\n  ### 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}@."
+      fprintf err_formatter "@.  ### Selected nodes: {%a}@."
         print_selec selected_nodes in
   solve_queries queries;
   exit 0