X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FxmlUnparser.ml;h=e60a6a46c3e21a792577c35216046de44d41d2d5;hb=2c4b4aaa6f1490346823a26cba5dd965cab0cd02;hp=0ff801e93c4c96e074f88bae7726058f7a1f9050;hpb=edf9e34100f49d4aa5ba8f3ce53e34af7718d88e;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