settings_gui.c
changeset 959 b031d88c76f3
parent 951 9c58dedb8e5f
child 970 492ca84ecc6c
--- a/settings_gui.c	Sun Jan 09 20:45:07 2005 +0000
+++ b/settings_gui.c	Sun Jan 09 21:25:44 2005 +0000
@@ -1006,7 +1006,7 @@
 	const PatchPage *page;
 	const PatchEntry *pe = NULL;
 	bool found = false;
-	int i;
+	uint i;
 	unsigned int j;
 	int val;
 
@@ -1066,7 +1066,7 @@
 	const PatchEntry *pe = NULL;
 	char value[50];
 	bool found = false;
-	int i;
+	uint i;
 	unsigned int j;
 
 	/* Search for the name in the patch-settings */