Mercurial > urweb
diff src/urweb.lex @ 2149:854d7ba67a59
Remove duplicate lexer line
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 28 May 2015 10:28:15 -0400 |
parents | a49c12ddf47d |
children | 763ccca119bc |
line wrap: on
line diff
--- a/src/urweb.lex Thu May 28 10:23:43 2015 -0400 +++ b/src/urweb.lex Thu May 28 10:28:15 2015 -0400 @@ -537,8 +537,6 @@ <INITIAL> "CURRENT_TIMESTAMP" => (Tokens.CURRENT_TIMESTAMP (pos yypos, pos yypos + size yytext)); -<INITIAL> "CURRENT_TIMESTAMP" => (Tokens.CURRENT_TIMESTAMP (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));