settings_gui.c
changeset 2159 f6284cf5fab0
parent 2140 a04d0142ad65
child 2163 b17b313113a0
--- a/settings_gui.c	Thu Jul 21 21:13:42 2005 +0000
+++ b/settings_gui.c	Thu Jul 21 22:15:02 2005 +0000
@@ -14,6 +14,7 @@
 #include "network.h"
 #include "console.h"
 #include "town.h"
+#include "variables.h"
 
 static uint32 _difficulty_click_a;
 static uint32 _difficulty_click_b;