X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fsolve.ml;fp=src%2Fsolve.ml;h=4ab11479c7765fb02ad6673dd644810ef8abaccc;hb=47c422581d5abf820d950613a419c8fa3f97ca11;hp=6e25db2fd6e7dceb030e1b6d5cb96f3553f13061;hpb=cafb1946df00d3b6b1246199d17a2c1f21b06cb3;p=tatoo.git

diff --git a/src/solve.ml b/src/solve.ml
index 6e25db2..4ab1147 100644
--- a/src/solve.ml
+++ b/src/solve.ml
@@ -47,6 +47,10 @@ let compute_run doc query =
 
 let () =
   let flag  = Array.length Sys.argv = 5 in
+  let flag2 =
+    if flag
+    then int_of_string Sys.argv.(4) = 1
+    else false in
   Format.pp_set_margin err_formatter 80;
   let doc = doc () in
   let queries = query () in
@@ -65,8 +69,10 @@ let () =
         fprintf err_formatter "  ### Query: %a"
           XPath.Ast.print query
       else ();
-      fprintf err_formatter "@.  ### Selected nodes: {%a}@."
-        print_selec selected_nodes;
+      if flag2 then
+        fprintf err_formatter "@.  ### Selected nodes: {%a}@."
+          print_selec selected_nodes
+      else ();
       if flag
       then begin
         Asta.print err_formatter asta;