From e9f71f9574114a42d5f68c1339290feba92cef1a Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 16 Oct 2007 09:55:32 +0000 Subject: [PATCH] DOS-style CR+LF added to the blanks list. --- components/content_pres/cicNotationLexer.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/content_pres/cicNotationLexer.ml b/components/content_pres/cicNotationLexer.ml index bd071c5b9..911ddc57e 100644 --- a/components/content_pres/cicNotationLexer.ml +++ b/components/content_pres/cicNotationLexer.ml @@ -30,7 +30,7 @@ open Printf exception Error of int * int * string let regexp number = xml_digit+ -let regexp utf8_blank = " " | "\n" | "\t" | [160] (* this is a nbsp *) +let regexp utf8_blank = " " | "\r\n" | "\n" | "\t" | [160] (* this is a nbsp *) (* ZACK: breaks unicode's binder followed by an ascii letter without blank *) (* let regexp ident_letter = xml_letter *) -- 2.39.2