From f191d93bf9aedec0b57ce1a452cab8d5d9abbd12 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 5 Jan 2007 11:40:13 +0000 Subject: [PATCH] removed debugging printing --- helm/software/components/cic/cicUniv.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/software/components/cic/cicUniv.ml b/helm/software/components/cic/cicUniv.ml index 45d303a9d..9bd7b9e74 100644 --- a/helm/software/components/cic/cicUniv.ml +++ b/helm/software/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