X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Furimanager%2FuriManager.ml;h=b8da7d91eddec50f086251bf863da6df40f99e66;hb=6cf15c86b051582032c794f7da8a325e31fc0480;hp=203093c7e63e9c2644fb818bd234dfc1c6dc74fc;hpb=e741cbf7dfaea51173635b7c5c47c12e1e515b1b;p=helm.git

diff --git a/helm/ocaml/urimanager/uriManager.ml b/helm/ocaml/urimanager/uriManager.ml
index 203093c7e..b8da7d91e 100644
--- a/helm/ocaml/urimanager/uriManager.ml
+++ b/helm/ocaml/urimanager/uriManager.ml
@@ -55,7 +55,10 @@ let name_of_uri (uri, _) =
   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 =