Prefer "continue" for empty loop bodies.

* etc/bench.pl.in: Use "continue" instead of {}.

ChangeLog

@@ -1,3 +1,8 @@
+2008-10-28  Akim Demaille  <[email protected]>
+
+	Prefer "continue" for empty loop bodies.
+	* etc/bench.pl.in: Use "continue" instead of {}.
+
 2008-10-28  Akim Demaille  <[email protected]>
 
 	Space and comments changes.

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))