X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fquery_tree.ml;h=404c750db76153bcae62c9a4b0915cef3f078399;hb=bf8537a562ad461cdecc45978c36e5ad2b35766f;hp=6d9e6bded13e2d9aa1538937dac3783beec81871;hpb=a7acc5b68cd4850b1bce020421087788a57b4eab;p=tatoo.git diff --git a/src/query_tree.ml b/src/query_tree.ml index 6d9e6bd..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 = 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