From 0925d5bfd40aac15b9c55cd1b60e28befc4bd55d Mon Sep 17 00:00:00 2001
From: Akim Demaille <demaille@gostai.com>
Date: Tue, 21 Oct 2008 15:56:12 -0500
Subject: [PATCH] Prefer "continue" for empty loop bodies.

	* etc/bench.pl.in: Use "continue" instead of {}.
---
 ChangeLog       | 5 +++++
 etc/bench.pl.in | 4 +---
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index e222c8c7..f562d3a9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-10-28  Akim Demaille  <demaille@gostai.com>
+
+	Prefer "continue" for empty loop bodies.
+	* etc/bench.pl.in: Use "continue" instead of {}.
+
 2008-10-28  Akim Demaille  <demaille@gostai.com>
 
 	Space and comments changes.
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))
-- 
2.45.2