diff options
author | Akim Demaille <demaille@gostai.com> | 2008-10-21 15:56:12 -0500 |
---|---|---|
committer | Akim Demaille <demaille@gostai.com> | 2008-10-28 17:11:11 +0100 |
commit | 0925d5bfd40aac15b9c55cd1b60e28befc4bd55d (patch) | |
tree | 9aa0a8c7228e8c131d69568eb1ab11e68444c604 /etc/bench.pl.in | |
parent | cf98343c1df980ad140fd71aa3d66dea3db8913c (diff) | |
download | bison-0925d5bfd40aac15b9c55cd1b60e28befc4bd55d.tar.gz |
Prefer "continue" for empty loop bodies.
* etc/bench.pl.in: Use "continue" instead of {}.
Diffstat (limited to 'etc/bench.pl.in')
-rwxr-xr-x | etc/bench.pl.in | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/etc/bench.pl.in b/etc/bench.pl.in index b008b0bc..ca433493 100755 --- a/etc/bench.pl.in +++ b/etc/bench.pl.in @@ -270,9 +270,7 @@ yylex (void) /* Skip white space. */ while ((c = get_char ()) == ' ' || c == '\t') - { - - } + continue; /* process numbers */ if (c == '.' || isdigit (c)) |