]> matita.cs.unibo.it Git - helm.git/commitdiff
Debug code commented out.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 Jul 2006 14:39:46 +0000 (14:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 Jul 2006 14:39:46 +0000 (14:39 +0000)
components/library/librarySync.ml

index 338e84bbe4d2294617d050e4ab35c417efd276ad..e1b73821bc6176014ca5c55bb30474858b126f30 100644 (file)
@@ -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