X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic%2FcicUniv.ml;h=9bd7b9e74800c135082b545504cbc3304907464e;hb=a957099550619f87a58be467b9b11f2ad6501378;hp=fae784d369a9c59d295b72ba87907d66fdf395ff;hpb=001b43beae9e912a921da426d23c1e437328bb9e;p=helm.git

diff --git a/components/cic/cicUniv.ml b/components/cic/cicUniv.ml
index fae784d36..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 (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 (