X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FmetadataTypes.ml;h=fd61d717eac3bfaf7d7cccbac431d47cc163ade8;hb=99727f61d0a718e34d4282f9b9b45fce4336af84;hp=e186b377a2acda45d3eccbe9d6acb8c9285730bc;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

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