src/players.cpp
changeset 9428 1ba05b499957
parent 9420 8a38703928e8
child 9514 a8a8210139a6
--- a/src/players.cpp	Fri May 30 09:32:24 2008 +0000
+++ b/src/players.cpp	Fri May 30 18:20:26 2008 +0000
@@ -13,7 +13,7 @@
 #include "saveload.h"
 #include "command_func.h"
 #include "network/network.h"
-#include "network/network_internal.h"
+#include "network/network_func.h"
 #include "variables.h"
 #include "cheat_func.h"
 #include "ai/ai.h"