settings_gui.c
changeset 46 c9bdf1d58df6
parent 42 567add3568d6
child 47 8368e4d4ef07
--- a/settings_gui.c	Fri Aug 13 20:55:08 2004 +0000
+++ b/settings_gui.c	Fri Aug 13 21:48:04 2004 +0000
@@ -487,6 +487,8 @@
 	}
 }
 
+extern void StartupEconomy();
+
 static void GameDifficultyWndProc(Window *w, WindowEvent *e)
 {
 	switch(e->event) {