X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FlibrarySync.ml;h=e1b73821bc6176014ca5c55bb30474858b126f30;hb=0d1ecc789c6d57a3eef47a028634d316905ef317;hp=338e84bbe4d2294617d050e4ab35c417efd276ad;hpb=bc76b4d2f3c380894259b45fad52cf85ae6cee18;p=helm.git

diff --git a/helm/software/components/library/librarySync.ml b/helm/software/components/library/librarySync.ml
index 338e84bbe..e1b73821b 100644
--- a/helm/software/components/library/librarySync.ml
+++ b/helm/software/components/library/librarySync.ml
@@ -319,12 +319,13 @@ let generate_projections refinement_toolkit uri fields =
         let composites = 
          if coercion then
             begin
-              prerr_endline ("composite for " ^ UriManager.string_of_uri uri);
+(*prerr_endline ("composite for " ^ UriManager.string_of_uri uri);*)
               let x = add_coercion ~add_composites:true refinement_toolkit uri
               in
-              prerr_endline ("are: ");
-              List.iter (fun u -> prerr_endline (UriManager.string_of_uri u)) x;
-              prerr_endline "---";
+(*prerr_endline ("are: ");
+  List.iter (fun u -> prerr_endline (UriManager.string_of_uri u)) x;
+  prerr_endline "---";
+*)
               x
             end
           else