X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmetadata%2FmetadataTypes.ml;h=3f55b886f8b2b0ea19ddbbec115b1427a5f3499d;hb=b41886e9d21d756279bd6a2ec3f19c17b1a64401;hp=9e0d7c0b87a48f517cf4b136512469eeeabb30e6;hpb=d9d4c27ae122d5c413b0e9479de98042e060cea5;p=helm.git

diff --git a/helm/ocaml/metadata/metadataTypes.ml b/helm/ocaml/metadata/metadataTypes.ml
index 9e0d7c0b8..3f55b886f 100644
--- 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
+