Debug code commented out.

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

diff --git a/components/library/librarySync.ml b/components/library/librarySync.ml
index 338e84bbe4d2294617d050e4ab35c417efd276ad..e1b73821bc6176014ca5c55bb30474858b126f30 100644 (file)
--- a/components/library/librarySync.ml
+++ b/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