Fst fixpoint is now hconsed.

[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 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;