X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Furimanager%2FuriManager.ml;h=2d099a4e9748bf64cae26ef76bf6361ce9986821;hb=11b2157bacf59cfc561c2ef6f92ee41ee2c1a006;hp=9107994a1d31803bb45b602476225005a3a71bc1;hpb=30743ffb0d331aaaa449957238128943ba781ecf;p=helm.git

diff --git a/helm/software/components/urimanager/uriManager.ml b/helm/software/components/urimanager/uriManager.ml
index 9107994a1..2d099a4e9 100644
--- a/helm/software/components/urimanager/uriManager.ml
+++ b/helm/software/components/urimanager/uriManager.ml
@@ -193,7 +193,6 @@ let bodyuri_of_uri (uri, _) =
 
 let ind_uri_split ((s, _) as uri) =
     let noxp = strip_xpointer uri in
-    let length = String.length s in
     try 
       (let arg_index = String.rindex s '(' in
        try