# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1432823295 14400
# Node ID 854d7ba67a5929f53e2547311b5f506055f18222
# Parent  a49c12ddf47d0b74429f541a7a8185a308d24960
Remove duplicate lexer line

diff -r a49c12ddf47d -r 854d7ba67a59 src/urweb.lex
--- 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));