fix warning: use size_t when comparing against strlen()

diff --git a/src/util.c b/src/util.c
index 83a2d57bab8ad23a6f45cbf1b40dbbc7b5db8d43..de36d4aaecf4e88f18023687eeaafaa6b0c2e18c 100644 (file)
--- a/src/util.c
+++ b/src/util.c
@@ -54,7 +54,7 @@ Rect rect_add(Rect a, Rect b) {
  */
 __attribute__ ((pure)) bool name_is_digits(const char *name) {
     /* positive integers and zero are interpreted as numbers */
-    for (int i = 0; i < strlen(name); i++)
+    for (size_t i = 0; i < strlen(name); i++)
         if (!isdigit(name[i]))
             return false;