Mercurial > urweb
changeset 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 |
| files | src/urweb.lex |
| diffstat | 1 files changed, 0 insertions(+), 2 deletions(-) [+] |
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));