diff options
author | rlar <rlar> | 2016-03-01 19:36:08 +0100 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2018-02-07 16:50:06 -0800 |
commit | 0c756c6c1b9e6115f4778b581cec380e3c3fe618 (patch) | |
tree | bf71437f068b1acde38111db7ae89d113ad1baf8 /debian/changelog | |
parent | e916002410e939fc9a739418ef0c51e3b2ccf29e (diff) |
generated code, in yy_get_next_buffer(), change type of local `number_to_move'
suits better, because `yy_n_chars' and `yy_buf_size' are of type `int'
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions