summaryrefslogtreecommitdiff
path: root/src/urweb.lex
diff options
context:
space:
mode:
Diffstat (limited to 'src/urweb.lex')
-rw-r--r--src/urweb.lex1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/urweb.lex b/src/urweb.lex
index 50ebe843..55fe4216 100644
--- a/src/urweb.lex
+++ b/src/urweb.lex
@@ -426,7 +426,6 @@ xint = x[0-9a-fA-F][0-9a-fA-F];
<INITIAL> "end" => (Tokens.END (pos yypos, pos yypos + size yytext));
<INITIAL> "functor" => (Tokens.FUNCTOR (pos yypos, pos yypos + size yytext));
<INITIAL> "where" => (Tokens.WHERE (pos yypos, pos yypos + size yytext));
-<INITIAL> "extern" => (Tokens.EXTERN (pos yypos, pos yypos + size yytext));
<INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext));
<INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext));
<INITIAL> "constraint"=> (Tokens.CONSTRAINT (pos yypos, pos yypos + size yytext));