diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-04-29 13:17:31 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-04-29 13:17:31 -0400 |
| commit | 47202985bda927a7504ee484565ebd2ff0e55963 (patch) | |
| tree | 0ecad148d41060d9728486fd61309de6e8cb561e /src/urweb.lex | |
| parent | 626d7f93ab6873961e6b8c64f28ad36c808efd38 (diff) | |
Initial support for reusing elaboration results
Diffstat (limited to 'src/urweb.lex')
| -rw-r--r-- | src/urweb.lex | 1 |
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)); |