ground_2 released and permanently renamed as ground

[helm.git] / matita / matita / contribs / lambdadelta / bin / xhtbl / textLexer.mll

diff --git a/matita/matita/contribs/lambdadelta/bin/xhtbl/textLexer.mll b/matita/matita/contribs/lambdadelta/bin/xhtbl/textLexer.mll
index 4b06e4c402f61044f1f17a99c2713e41fa1e45c2..602bc6107cd055cff68a180540a2864b34960128 100644 (file)
--- 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
    | "*)"     { ()                              }