From 3433ed9a5ba002fca902d0e9b08fb8ecae9df056 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 20 Feb 2009 10:08:20 +0000 Subject: [PATCH] ... --- helm/software/components/metadata/metadataDeps.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/helm/software/components/metadata/metadataDeps.ml b/helm/software/components/metadata/metadataDeps.ml index d34bd1c83..e949984e4 100644 --- a/helm/software/components/metadata/metadataDeps.ml +++ b/helm/software/components/metadata/metadataDeps.ml @@ -188,7 +188,8 @@ struct function | [] -> () | uri :: tl -> - let suri = UriManager.string_of_uri uri in + let nice = UriManager.strip_xpointer in + let suri = UriManager.string_of_uri (nice uri) in Pp.node suri ~attrs:([ "href", UriManager.string_of_uri uri; "label", label_of_uri uri @@ -204,8 +205,8 @@ struct List.iter (fun dest -> let uri1, uri2 = if invert then dest, uri else uri, dest in - Pp.edge (UriManager.string_of_uri uri1) - (UriManager.string_of_uri uri2) fmt) + Pp.edge (UriManager.string_of_uri (nice uri1)) + (UriManager.string_of_uri (nice uri2)) fmt) adjacency; new_nodes := adjacency end; -- 2.39.2