let obj_tbl_original = "refObj"
let name_tbl_original = "objectName"
let count_tbl_original = "count"
+let hits_tbl_original = "hits"
(** the names currently used *)
let sort_tbl_real = ref sort_tbl_original
let library_obj_tbl = obj_tbl_original
let library_name_tbl = name_tbl_original
let library_count_tbl = count_tbl_original
+let library_hits_tbl = hits_tbl_original
let are_tables_ownerized () =
sort_tbl () <> library_sort_tbl