projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Pretty print of counters.
[tatoo.git]
/
src
/
solve.ml
diff --git
a/src/solve.ml
b/src/solve.ml
index
6e25db2
..
4ab1147
100644
(file)
--- 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 () =
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
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 " ### 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;
if flag
then begin
Asta.print err_formatter asta;