settings_gui.c
changeset 639 d73860ba9ae3
parent 631 5b3eb9bec105
child 654 838561602834
--- a/settings_gui.c	Mon Dec 13 19:55:31 2004 +0000
+++ b/settings_gui.c	Mon Dec 13 20:12:45 2004 +0000
@@ -985,7 +985,8 @@
 	const PatchPage *page;
 	const PatchEntry *pe = NULL;
 	bool found = false;
-	int i, j;
+	int i;
+	unsigned int j;
 	int val;
 
 	/* Search for the name in the patch-settings */
@@ -1044,7 +1045,8 @@
 	const PatchEntry *pe = NULL;
 	char value[50];
 	bool found = false;
-	int i, j;
+	int i;
+	unsigned int j;
 
 	/* Search for the name in the patch-settings */
 	for (i = 0; i < lengthof(_patches_page); i++) {