changeset 1432:7d024767b024

Cope with DOS-format line breaks in source code
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Mar 2011 19:26:35 -0500
parents 4a6f84092399
children 66092ce45a76
files src/urweb.lex
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/urweb.lex	Thu Mar 10 18:51:15 2011 -0500
+++ b/src/urweb.lex	Thu Mar 10 19:26:35 2011 -0500
@@ -169,7 +169,7 @@
 
 id = [a-z_][A-Za-z0-9_']*;
 cid = [A-Z][A-Za-z0-9_]*;
-ws = [\ \t\012];
+ws = [\ \t\012\r];
 intconst = [0-9]+;
 realconst = [0-9]+\.[0-9]*;
 notags = ([^<{\n(]|(\([^\*<{\n]))+;