X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Fxhtbl%2FtextLexer.mll;h=602bc6107cd055cff68a180540a2864b34960128;hp=4b06e4c402f61044f1f17a99c2713e41fa1e45c2;hb=68b4f2490c12139c03760b39895619e63b0f38c9;hpb=1fd63df4c77f5c24024769432ea8492748b4ac79

diff --git a/matita/matita/contribs/lambdadelta/bin/xhtbl/textLexer.mll b/matita/matita/contribs/lambdadelta/bin/xhtbl/textLexer.mll
index 4b06e4c40..602bc6107 100644
--- a/matita/matita/contribs/lambdadelta/bin/xhtbl/textLexer.mll
+++ b/matita/matita/contribs/lambdadelta/bin/xhtbl/textLexer.mll
@@ -38,6 +38,7 @@ and str = parse
    | QT       { ""                              }
    | "\\\\"   { "\\" ^ str lexbuf               }
    | "\\\""   { "\"" ^ str lexbuf               }
+   | "\\ "    { "\xC2\xA0" ^ str lexbuf         }
    | _ as c   { S.make 1 c ^ str lexbuf         }
 and block = parse
    | "*)"     { ()                              }