supprimer (List.rev p) dans la fonction compile_path_rev

[tatoo.git] / src / query_tree.ml

diff --git a/src/query_tree.ml b/src/query_tree.ml
index a1b47a6..c513bdb 100644 (file)
--- a/src/query_tree.ml
+++ b/src/query_tree.ml
@@ -46,7 +46,7 @@ and compile_step_list p =
        
   and compile_single_path_rev p = 
     match p with
-      | Absolute p | Relative p -> compile_step_list_rev (List.rev p)
+      | Absolute p | Relative p -> compile_step_list_rev p (*(List.rev p)*)
 
   and compile_step_list_rev p = match p with
     | [] -> Dom         (*assert false*) (*on fait rien , mais comment signifer ???*)
@@ -111,7 +111,7 @@ let rec diff_list t l1 l2 =
       else diff_list t ll1 ll2
 
 
-let do_debug = ref true
+let do_debug = ref false
 
 let debug tree q l =
   if !do_debug then begin