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));