src/dock_gui.cpp
changeset 11161 7d0fac8f14cd
parent 11071 91ac7664ad1e
--- a/src/dock_gui.cpp	Thu Jul 17 16:38:26 2008 +0000
+++ b/src/dock_gui.cpp	Thu Jul 17 20:13:01 2008 +0000
@@ -277,7 +277,7 @@
 
 void ShowBuildDocksToolbar()
 {
-	if (!IsValidPlayer(_current_player)) return;
+	if (!IsValidPlayerID(_current_player)) return;
 
 	DeleteWindowByClass(WC_BUILD_TOOLBAR);
 	AllocateWindowDescFront<BuildDocksToolbarWindow>(&_build_docks_toolbar_desc, TRANSPORT_WATER);