--- a/station_gui.c	Fri Sep 30 09:58:59 2005 +0000
+++ b/station_gui.c	Fri Sep 30 20:37:25 2005 +0000
@@ -259,7 +259,7 @@
 };
 
 
-void ShowPlayerStations(int player)
+void ShowPlayerStations(PlayerID player)
 {
 	Window *w;