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]*;