Ajoute le module Tas pour remplacer la fonction List.sort.

[tatoo.git] / src / query_tree.ml

diff --git a/src/query_tree.ml b/src/query_tree.ml
index 6d9e6bd..5f3c113 100644 (file)
--- a/src/query_tree.ml
+++ b/src/query_tree.ml
@@ -236,7 +236,7 @@ let rec eval_qtree tree start q =
              | Diff -> diff_list tree ls1 ls2
          end
        in
-       let res = List.sort (Table.compare_node tree) res in
+       let res = Tas.sort_of_list tree res in
        QTreeHash.add table_qtree q res;
        compteur := !compteur + (List.length res);
        res