From fe8bd11ade81a5835d72c498a763c13c17fddd25 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 28 Aug 2008 11:59:46 -0400 Subject: COUNT --- src/lacweb.lex | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/lacweb.lex') diff --git a/src/lacweb.lex b/src/lacweb.lex index f67eada7..08e39c81 100644 --- a/src/lacweb.lex +++ b/src/lacweb.lex @@ -323,6 +323,8 @@ notags = [^<{\n]+; "OR" => (Tokens.OR (pos yypos, pos yypos + size yytext)); "NOT" => (Tokens.NOT (pos yypos, pos yypos + size yytext)); + "COUNT" => (Tokens.COUNT (pos yypos, pos yypos + size yytext)); + {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext)); {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext)); -- cgit v1.2.3