[PATCH] Prefer "continue" for empty loop bodies.

[Akim Demaille]

        * etc/bench.pl.in: Use "continue" instead of {}.
---
 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 b008b0b..ca43349 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))
-- 
1.6.0.2.588.g3102