X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Fxhtbl.ml;fp=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Fxhtbl.ml;h=f379185fafab3a8f4e4ac007a5e4fd59be720934;hb=cb0d4e730bd6ec9bed1018be37748120f740f0a9;hp=dc4ab9670e94de6a9a7e076f326070f967157666;hpb=645b62762e9c86e343d4741541a2ddccfed8ebc7;p=helm.git

diff --git a/helm/www/lambdadelta/bin/xhtbl/xhtbl.ml b/helm/www/lambdadelta/bin/xhtbl/xhtbl.ml
index dc4ab9670..f379185fa 100644
--- a/helm/www/lambdadelta/bin/xhtbl/xhtbl.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/xhtbl.ml
@@ -51,9 +51,10 @@ let process_file fname =
    let bname = F.chop_extension (F.basename fname) in
    let ich = open_in fname in
    let lexbuf = Lexing.from_channel ich in
-   let ds = TP.script TL.token lexbuf in
+   let ns, ds = TP.script TL.token lexbuf in
    close_in ich; includes := bname :: !includes;
-   let och = XU.open_out true bname in 
+   let ns = ("", "http://www.w3.org/1999/xhtml") :: ns in
+   let och = XU.open_out bname ns in 
    L.iter (process_directive och bname) ds;
    XU.close_out och