diff options
Diffstat (limited to 'src/c99-flex.skl')
| -rw-r--r-- | src/c99-flex.skl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/c99-flex.skl b/src/c99-flex.skl index 796fe11..ca712dd 100644 --- a/src/c99-flex.skl +++ b/src/c99-flex.skl @@ -712,7 +712,11 @@ static void yy_init_buffer(yybuffer b, FILE * file, yyscan_t yyscanner) yy_flush_buffer( b, yyscanner); b->yy_input_file = file; - b->yy_fill_buffer = true; + if (b->yy_input_file == NULL) { + b->yy_fill_buffer = false; + } else { + b->yy_fill_buffer = true; + } /* If b is the current buffer, then yy_init_buffer was _probably_ * called from yyrestart() or through yy_get_next_buffer. |