X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic%2FcicUniv.ml;h=9bd7b9e74800c135082b545504cbc3304907464e;hb=bb9aa02b52977c05fe678a4e15bfc64e27c2c5f5;hp=45d303a9dd1abbe510c5352137f4c489ebe6c9fb;hpb=3bafc89087dbae27457924b4e616e16804a3cfc2;p=helm.git

diff --git a/components/cic/cicUniv.ml b/components/cic/cicUniv.ml
index 45d303a9d..9bd7b9e74 100644
--- a/components/cic/cicUniv.ml
+++ b/components/cic/cicUniv.ml
@@ -582,7 +582,8 @@ let add_eq ?fast u v b =
 (* TODO: uncomment l to gain a small speedup *)
 let merge_ugraphs ~base_ugraph ~increment:(increment, uri_of_increment(*,l*)) =
   let merge_brutal (u,a,_) v = 
-    prerr_endline ("merging graph: "^UriManager.string_of_uri uri_of_increment);
+(*     prerr_endline ("merging graph: "^UriManager.string_of_uri
+ *     uri_of_increment); *)
     let m1 = u in 
     let m2 = v in 
       MAL.fold (