From c824364cb48385480667ce646425d37ec0ad87b0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 10 Mar 2011 19:26:35 -0500
Subject: Cope with DOS-format line breaks in source code

---
 src/urweb.lex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/urweb.lex')

diff --git a/src/urweb.lex b/src/urweb.lex
index 371d69a7..74b91432 100644
--- a/src/urweb.lex
+++ b/src/urweb.lex
@@ -169,7 +169,7 @@ fun unescape loc s =
 
 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]))+;
-- 
cgit v1.2.3