uri
;;
+let strip_xpointer uri =
+ let stripped_uri = Array.copy uri in
+ stripped_uri.(Array.length uri - 1) <- ""; (* reset xpointer field *)
+ let stripped_uri_str = string_of_uri stripped_uri in
+ set_of_uri := SetOfStrings.add stripped_uri_str stripped_uri !set_of_uri;
+ stripped_uri
+
let cicuri_of_uri uri =
let completeuri = string_of_uri uri in
let newcompleteuri =