# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1416921669 18000
# Node ID d4ed20beb93b812a882dcab02e951a2a17cb922a
# Parent  f05fcb206571cce91182188dce1df32992fa8e2a
Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)

diff -r f05fcb206571 -r d4ed20beb93b src/urweb.lex
--- 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]+;