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

diff --git a/src/basic/gunicode.c b/src/basic/gunicode.c
index 5421105..e6ac054 100644 (file)
--- a/src/basic/gunicode.c
+++ b/src/basic/gunicode.c
@@ -26,7 +26,7 @@
 char *
 utf8_prev_char (const char *p)
 {
-  while (1)
+  for (;;)
     {
       p--;
       if ((*p & 0xc0) != 0x80)