projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
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 ???*)
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
else diff_list t ll1 ll2
-let do_debug = ref
tru
e
+let do_debug = ref
fals
e
let debug tree q l =
if !do_debug then begin
let debug tree q l =
if !do_debug then begin