projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Verifier si seulement Descendant et Ancestor sont influence sur l'ordre de resultats...
[tatoo.git]
/
src
/
query_tree.ml
diff --git
a/src/query_tree.ml
b/src/query_tree.ml
index
1f58ba6
..
404c750
100644
(file)
--- a/
src/query_tree.ml
+++ b/
src/query_tree.ml
@@
-236,8
+236,8
@@
let rec eval_qtree tree start q =
| Diff -> diff_list tree ls1 ls2
end
in
| Diff -> diff_list tree ls1 ls2
end
in
-
let res = Tas.sort_of_list tree res in
-
(*
let res = List.sort (Table.compare_node tree) res in*)
+
(*
let res = Tas.sort_of_list tree res in
+
let res = List.sort (Table.compare_node tree) res in*)
QTreeHash.add table_qtree q res;
compteur := !compteur + (List.length res);
res
QTreeHash.add table_qtree q res;
compteur := !compteur + (List.length res);
res