diff options
| -rw-r--r-- | src/lexer.l | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/lexer.l b/src/lexer.l index 8100405..ec765d9 100644 --- a/src/lexer.l +++ b/src/lexer.l @@ -17,6 +17,8 @@ extern const char *current_file; ws [ \t] +%x error + %% ¬|! { return NOT; } @@ -44,6 +46,10 @@ ws [ \t] . { user_error("%s:%d: Unrecognized character ‘%c’", current_file, yylineno, *yytext); + BEGIN(error); + return YYerror; } +<error>.* { BEGIN(0); } + %% |