basic: use for() loop instead of while()

diff --git a/src/basic/gunicode.c b/src/basic/gunicode.c
index 542110503f7f37cd6119e0a4c0918620ea4ef330..e6ac0545a4efc5c0e0d5fc3d0c34c71eda0a53f5 100644 (file)
--- a/src/basic/gunicode.c
+++ b/src/basic/gunicode.c
@@ -26,7 +26,7 @@
 char *
 utf8_prev_char (const char *p)
 {
 char *
 utf8_prev_char (const char *p)
 {

-  while (1)
+  for (;;)

     {
       p--;
       if ((*p & 0xc0) != 0x80)
     {
       p--;
       if ((*p & 0xc0) != 0x80)