projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Supprimer des fonctions 'keep_elements' et 'keep_attributs'
[tatoo.git]
/
src
/
query_tree.ml
diff --git
a/src/query_tree.ml
b/src/query_tree.ml
index
5f3c113
..
1f58ba6
100644
(file)
--- a/
src/query_tree.ml
+++ b/
src/query_tree.ml
@@
-237,6
+237,7
@@
let rec eval_qtree tree start q =
end
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