diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-09-05 22:27:38 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-09-05 22:27:38 +0200 |
| commit | 6d763a8cf765c8acdd6673ae2f7be81cbdd3586c (patch) | |
| tree | 8761de6531731dd7a15f805bb46994fd0685a763 /src | |
| parent | f355207fb06a0d4f4d1f29b77f9e816144dcea04 (diff) | |
Specify nodefault
Diffstat (limited to 'src')
| -rw-r--r-- | src/lexer.l | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/lexer.l b/src/lexer.l index 0f703c7..55db1a5 100644 --- a/src/lexer.l +++ b/src/lexer.l @@ -10,10 +10,9 @@ extern const char *current_file; %} -%option noinput -%option nounput -%option noyywrap %option yylineno +%option nodefault +%option noinput nounput noyywrap ws [ \t] |