X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fmetadata%2FmetadataTypes.ml;h=fd61d717eac3bfaf7d7cccbac431d47cc163ade8;hb=54f0b41903d53877ac385506aa6d943cc4e40ade;hp=e186b377a2acda45d3eccbe9d6acb8c9285730bc;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/metadata/metadataTypes.ml b/components/metadata/metadataTypes.ml
index e186b377a..fd61d717e 100644
--- a/components/metadata/metadataTypes.ml
+++ b/components/metadata/metadataTypes.ml
@@ -112,4 +112,4 @@ let library_hits_tbl = hits_tbl_original
 
 let are_tables_ownerized () =
   sort_tbl () <> library_sort_tbl
-  
+