X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fquery_tree.ml;fp=src%2Fquery_tree.ml;h=c513bdb562e0bda7f9a064630ebc0a8497dd37e7;hp=a1b47a67beecfc95fb98988277dbb5e097150eed;hb=1340a75b9441bac6cbd54c30bd214664ee11a8ed;hpb=29eaf0ea22dbf0a169d7e6e8619a2f21d358d873 diff --git a/src/query_tree.ml b/src/query_tree.ml index a1b47a6..c513bdb 100644 --- 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