- let xp = Str.string_after scuri pos in
- let xp = Str.global_replace (Str.regexp "#xpointer(1") "" xp in
- let xp = Str.global_replace (Str.regexp "\/") "," xp in
- let xp = Str.global_replace (Str.regexp ")") "" xp in
- let scuri = (s1 ^ xp) in
-
- let uril_tl = List.tl uril in
+ let xp = Str.string_after scuri pos in
+ let xp = Str.global_replace (Str.regexp "#xpointer(1") "" xp in
+ let xp = Str.global_replace (Str.regexp "\/") "," xp in
+ let xp = Str.global_replace (Str.regexp ")") "" xp in
+ let scuri = (s1 ^ xp) in
+ let uril_tl = List.tl uril in