X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fquery_tree.ml;h=404c750db76153bcae62c9a4b0915cef3f078399;hp=1f58ba648605d880166bd670f9bfc5b4684c5a84;hb=bf8537a562ad461cdecc45978c36e5ad2b35766f;hpb=c31dce9d175ad3b9fca57706d6e1f45cd1669d6c diff --git a/src/query_tree.ml b/src/query_tree.ml index 1f58ba6..404c750 100644 --- a/src/query_tree.ml +++ b/src/query_tree.ml @@ -236,8 +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 = 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