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=5f3c113d2464a43cd4c127de14a31f99f093a9ec;hp=6d9e6bded13e2d9aa1538937dac3783beec81871;hb=5a2f69473adac536c778653a9f6c4d1267510945;hpb=a7acc5b68cd4850b1bce020421087788a57b4eab

diff --git a/src/query_tree.ml b/src/query_tree.ml
index 6d9e6bd..5f3c113 100644
--- 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