From b609954bf0065f5acbc50dbfa7e28e7145f9a2e3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 28 May 2015 10:28:15 -0400
Subject: Remove duplicate lexer line

---
 src/urweb.lex | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/urweb.lex b/src/urweb.lex
index fcf10d94..c44a4c1d 100644
--- a/src/urweb.lex
+++ b/src/urweb.lex
@@ -537,8 +537,6 @@ xint = x[0-9a-fA-F][0-9a-fA-F];
 
 <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));
 
-- 
cgit v1.2.3