summaryrefslogtreecommitdiff
path: root/etc/bench.pl.in
diff options
context:
space:
mode:
authorAkim Demaille <demaille@gostai.com>2008-10-21 15:56:12 -0500
committerAkim Demaille <demaille@gostai.com>2008-10-28 17:11:11 +0100
commit0925d5bfd40aac15b9c55cd1b60e28befc4bd55d (patch)
tree9aa0a8c7228e8c131d69568eb1ab11e68444c604 /etc/bench.pl.in
parentcf98343c1df980ad140fd71aa3d66dea3db8913c (diff)
downloadbison-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-xetc/bench.pl.in4
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))