--- freeciv/server/stdinhand.c.orig	Wed Jul 18 10:56:32 2001
+++ freeciv/server/stdinhand.c	Wed Aug 15 12:40:53 2001
@@ -740,7 +740,7 @@
     NULL, NULL }
 };
 
-#define SETTINGS_NUM ((sizeof(settings)/sizeof(settings[0]))-1)
+const int SETTINGS_NUM = ((sizeof(settings)/sizeof(settings[0]))-1);
 
 /********************************************************************
 Returns whether the specified server setting (option) can currently