From f969eaeae57e6d4b1c7e9b35d4061134094d5266 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 26 Jul 2006 14:39:46 +0000 Subject: [PATCH] Debug code commented out. --- helm/software/components/library/librarySync.ml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) 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 -- 2.39.2