huge commit regarding the grafite_status:

[helm.git] / helm / software / components / library / librarySync.ml

diff --git a/helm/software/components/library/librarySync.ml b/helm/software/components/library/librarySync.ml
index a0a0f324efe7352ee2496ccca2d1f30f0321f1aa..185ae53158f7cff7061382b12fbbc7f89f2974aa 100644 (file)
--- 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