Mercurial > urweb
changeset 2154:9ea29c93246d
Allow apostrophes in capitalized identifiers
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 11 Jun 2015 19:06:32 -0400 |
| parents | 39bd1d4007a9 |
| children | 7ce804ecd56b |
| files | src/urweb.lex |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/src/urweb.lex Mon Jun 08 11:11:46 2015 -0400 +++ b/src/urweb.lex Thu Jun 11 19:06:32 2015 -0400 @@ -178,7 +178,7 @@ id = [a-z_][A-Za-z0-9_']*; xmlid = [A-Za-z][A-Za-z0-9_-]*; -cid = [A-Z][A-Za-z0-9_]*; +cid = [A-Z][A-Za-z0-9_']*; ws = [\ \t\012\r]; intconst = [0-9]+; realconst = [0-9]+\.[0-9]*;