X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftable_driver.ml;fp=src%2Ftable_driver.ml;h=1f04028b893f2ac0e7344450cfe9e8f22345cfa2;hp=9d5b2409da4dff12186021916e9b1ae26772251a;hb=1340a75b9441bac6cbd54c30bd214664ee11a8ed;hpb=29eaf0ea22dbf0a169d7e6e8619a2f21d358d873

diff --git a/src/table_driver.ml b/src/table_driver.ml
index 9d5b240..1f04028 100644
--- a/src/table_driver.ml
+++ b/src/table_driver.ml
@@ -26,14 +26,11 @@ let main () =
   let query_tree_list =
     List.map (fun query -> compile_xpath query) queries
   in
-  let cpt = ref 0 in
- 
-    List.iter ( fun q -> 
-     
+     List.iter ( fun q -> 
       let res = eval_query_tree doc [ (Naive_tree.root doc) ] q in
+      print_string "<xml_result num=\"1\" >\n";
       print_node_list doc res;
-      Format.printf "---------------Fin %i\n!" !cpt;
-      incr cpt;
+      print_string "</xml_result>\n"
     ) query_tree_list ;
 
  (* let output =