new snapshot

[helm.git] / components / cic / cicUniv.ml

diff --git a/components/cic/cicUniv.ml b/components/cic/cicUniv.ml
index fae784d369a9c59d295b72ba87907d66fdf395ff..9bd7b9e74800c135082b545504cbc3304907464e 100644 (file)
--- 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 (