# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1299803195 18000
# Node ID 7d024767b0246a665e865a8fb54903512c151cae
# Parent  4a6f84092399e47672b6097d15ad09a80959f534
Cope with DOS-format line breaks in source code

diff -r 4a6f84092399 -r 7d024767b024 src/urweb.lex
--- 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]))+;