aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/lexer.l6
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); }
+
%%