--- a/settings_gui.c	Tue Nov 15 08:49:46 2005 +0000
+++ b/settings_gui.c	Tue Nov 15 09:00:02 2005 +0000
@@ -1277,7 +1277,7 @@
 
 	{ // little helper function to calculate _grffile_count
 	  // should be REMOVED once _grffile_count is calculated at loading
-		GRFFile *c = _first_grffile;
+		const GRFFile* c = _first_grffile;
 
 		_grffile_count = 0;
 		while (c != NULL) {