From aa23ff72aefbc2ec98a1f12607fab05100a7f41d Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 5 Jan 2007 11:40:13 +0000 Subject: [PATCH] removed debugging printing --- components/cic/cicUniv.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 ( -- 2.39.2