X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fquery_tree.ml;h=1f58ba648605d880166bd670f9bfc5b4684c5a84;hp=5f3c113d2464a43cd4c127de14a31f99f093a9ec;hb=c31dce9d175ad3b9fca57706d6e1f45cd1669d6c;hpb=5a2f69473adac536c778653a9f6c4d1267510945 diff --git a/src/query_tree.ml b/src/query_tree.ml index 5f3c113..1f58ba6 100644 --- a/src/query_tree.ml +++ b/src/query_tree.ml @@ -237,6 +237,7 @@ let rec eval_qtree tree start q = end 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