src/settings_gui.cpp
changeset 8780 6f3f3ec6c69a
parent 8760 ce0891c412ce
child 8815 d7e27012df64
--- a/src/settings_gui.cpp	Mon Jan 14 14:46:09 2008 +0000
+++ b/src/settings_gui.cpp	Mon Jan 14 16:10:58 2008 +0000
@@ -24,6 +24,7 @@
 #include "core/alloc_func.hpp"
 #include "string_func.h"
 #include "gfx_func.h"
+#include "widgets/dropdown_func.h"
 
 #include "table/sprites.h"
 #include "table/strings.h"