changeset 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 f05fcb206571
children 1b76ae703cbb 4d967a4ddb82
files src/urweb.lex
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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]+;