X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Furimanager%2FuriManager.mli;h=12775af8d48fd9a3168fbc149bfc7ebbf7ec4766;hb=b41886e9d21d756279bd6a2ec3f19c17b1a64401;hp=703b0b4f1629e12639d64767a2c825b274fb49c8;hpb=9c63adaf9bd7a10eb9f7450528d7895115ee533e;p=helm.git

diff --git a/helm/ocaml/urimanager/uriManager.mli b/helm/ocaml/urimanager/uriManager.mli
index 703b0b4f1..12775af8d 100644
--- a/helm/ocaml/urimanager/uriManager.mli
+++ b/helm/ocaml/urimanager/uriManager.mli
@@ -40,6 +40,8 @@ val depth_of_uri  : uri -> int     (* length of the path *)
 (* i.e. removes the [.types][.ann] suffix                       *)
 val cicuri_of_uri : uri -> uri
 
+val strip_xpointer: uri -> uri      (* remove trailing #xpointer..., if any *)
+
 (* given an uri, returns the uri of the corresponding annotation file, *)
 (* i.e. adds the .ann suffix if not already present                    *)
 val annuri_of_uri : uri -> uri