diff src/urweb.lex @ 2081:d4ed20beb93b

Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)
author Adam Chlipala <adam@chlipala.net>
date Tue, 25 Nov 2014 08:21:09 -0500
parents 6d126af2e1cb
children 8cf40452c900 4d967a4ddb82
line wrap: on
line diff
--- a/src/urweb.lex	Sun Nov 16 15:20:13 2014 -0500
+++ b/src/urweb.lex	Tue Nov 25 08:21:09 2014 -0500
@@ -177,7 +177,7 @@
 %s COMMENT STRING CHAR XML XMLTAG;
 
 id = [a-z_][A-Za-z0-9_']*;
-xmlid = [A-Za-z][A-Za-z0-9-_]*;
+xmlid = [A-Za-z][A-Za-z0-9_-]*;
 cid = [A-Z][A-Za-z0-9_]*;
 ws = [\ \t\012\r];
 intconst = [0-9]+;