diff src/lacweb.lex @ 235:0608a0cfd32a

COUNT
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Aug 2008 11:59:46 -0400
parents a338da9d82f3
children f5732dc1316c
line wrap: on
line diff
--- a/src/lacweb.lex	Thu Aug 28 11:49:38 2008 -0400
+++ b/src/lacweb.lex	Thu Aug 28 11:59:46 2008 -0400
@@ -323,6 +323,8 @@
 <INITIAL> "OR"        => (Tokens.OR (pos yypos, pos yypos + size yytext));
 <INITIAL> "NOT"       => (Tokens.NOT (pos yypos, pos yypos + size yytext));
 
+<INITIAL> "COUNT"     => (Tokens.COUNT (pos yypos, pos yypos + size yytext));
+
 <INITIAL> {id}        => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext));
 <INITIAL> {cid}       => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext));