| 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