X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FxmlUnparser.ml;h=e60a6a46c3e21a792577c35216046de44d41d2d5;hb=7e80b8d7a4b2c38729512dee28b3e0ecf9595c2a;hp=0ff801e93c4c96e074f88bae7726058f7a1f9050;hpb=3167db4903eea2eddc60a91cfd922be3672ce077;p=helm.git

diff --git a/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml b/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml
index 0ff801e93..e60a6a46c 100644
--- a/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml
@@ -15,6 +15,7 @@ let myself = F.basename (Sys.argv.(0))
 let msg = P.sprintf "This file was generated by %s, do not edit" myself
 
 let compose uri ext =
+   if uri.[pred (S.length uri)] = '/' then uri else
    try
       let i = S.index uri '#' in
       let uri, fragment = S.sub uri 0 i, S.sub uri i (S.length uri - i) in