at_least now supports the ownerized tables

[helm.git] / helm / ocaml / metadata / metadataTypes.ml

diff --git a/helm/ocaml/metadata/metadataTypes.ml b/helm/ocaml/metadata/metadataTypes.ml
index 9e0d7c0b87a48f517cf4b136512469eeeabb30e6..3f55b886f8b2b0ea19ddbbec115b1427a5f3499d 100644 (file)
--- a/helm/ocaml/metadata/metadataTypes.ml
+++ b/helm/ocaml/metadata/metadataTypes.ml
@@ -104,3 +104,6 @@ let library_conclno_tbl = conclno_tbl_original
 let library_conclno_hyp_tbl = conclno_hyp_tbl_original
 let library_name_tbl = name_tbl_original
 
+let are_tables_ownerized () =
+  sort_tbl () <> library_sort_tbl
+