# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1434063992 14400
# Node ID 9ea29c93246dbfef1e2726bd720bb358f96d252f
# Parent  39bd1d4007a9f33bc2ec169d612dce6e049010d0
Allow apostrophes in capitalized identifiers

diff -r 39bd1d4007a9 -r 9ea29c93246d src/urweb.lex
--- 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]*;