diff src/urweb.lex @ 316:04ebfe929a98

Unpolyed a polymorphic function of two arguments
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 10:14:59 -0400
parents bc89dfdbc495
children e976b187d73a
line wrap: on
line diff
--- a/src/urweb.lex	Thu Sep 11 09:36:47 2008 -0400
+++ b/src/urweb.lex	Thu Sep 11 10:14:59 2008 -0400
@@ -112,7 +112,7 @@
 %s COMMENT STRING XML XMLTAG;
 
 id = [a-z_][A-Za-z0-9_']*;
-cid = [A-Z][A-Za-z0-9_']*;
+cid = [A-Z][A-Za-z0-9_]*;
 ws = [\ \t\012];
 intconst = [0-9]+;
 realconst = [0-9]+\.[0-9]*;