X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FlibrarySync.ml;h=185ae53158f7cff7061382b12fbbc7f89f2974aa;hb=ddd6560f4e70ec3306d223738a441d5f1dd3eac9;hp=a0a0f324efe7352ee2496ccca2d1f30f0321f1aa;hpb=0080faad4e730c227b6bbb2549407b23703b477a;p=helm.git

diff --git a/helm/software/components/library/librarySync.ml b/helm/software/components/library/librarySync.ml
index a0a0f324e..185ae5315 100644
--- a/helm/software/components/library/librarySync.ml
+++ b/helm/software/components/library/librarySync.ml
@@ -338,7 +338,7 @@ and
                 
                 )
          ul)
-      (CoercDb.to_list ())
+      (CoercDb.to_list (CoercDb.dump ()))
   in
   let cpos = no_args - arity - saturations - 1 in 
   if not add_composites then