summaryrefslogtreecommitdiff
path: root/src/urweb.lex
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-06-11 19:06:32 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2015-06-11 19:06:32 -0400
commit443fa1a2ad02b653c96de2fb159fbdb510a87171 (patch)
tree93426e803cab7d976e65f7dc3d4bbb691e417e56 /src/urweb.lex
parent41c0092aeab51dc6ac9c0f6659b46b0d554be04c (diff)
Allow apostrophes in capitalized identifiers
Diffstat (limited to 'src/urweb.lex')
-rw-r--r--src/urweb.lex2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/urweb.lex b/src/urweb.lex
index eada3611..f32ddf1e 100644
--- a/src/urweb.lex
+++ b/src/urweb.lex
@@ -178,7 +178,7 @@ fun unescape loc s =
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]*;