String.sub uri index1 (index2 - index1)
let buri_of_uri (uri,_) =
- let index = String.rindex uri '/' in
+ let xpointer_offset =
+ try String.rindex uri '#' with Not_found -> String.length uri - 1
+ in
+ let index = String.rindex_from uri xpointer_offset '/' in
String.sub uri 0 index
module OrderedStrings =