X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fquery_tree.ml;h=404c750db76153bcae62c9a4b0915cef3f078399;hb=bf8537a562ad461cdecc45978c36e5ad2b35766f;hp=5f3c113d2464a43cd4c127de14a31f99f093a9ec;hpb=5a2f69473adac536c778653a9f6c4d1267510945;p=tatoo.git diff --git a/src/query_tree.ml b/src/query_tree.ml index 5f3c113..404c750 100644 --- a/src/query_tree.ml +++ b/src/query_tree.ml @@ -236,7 +236,8 @@ let rec eval_qtree tree start q = | Diff -> diff_list tree ls1 ls2 end in - let res = Tas.sort_of_list 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