(* 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 (