src/network/network_server.cpp
changeset 8766 c86cfa3a7580
parent 8760 ce0891c412ce
child 8776 4a65bbcd6935
--- a/src/network/network_server.cpp	Sun Jan 13 13:53:53 2008 +0000
+++ b/src/network/network_server.cpp	Sun Jan 13 14:37:30 2008 +0000
@@ -25,6 +25,7 @@
 #include "../player_base.h"
 #include "../player_func.h"
 #include "../player_gui.h"
+#include "../settings_type.h"
 
 #include "table/strings.h"