players.c
changeset 4824 ddbd525a04d0
parent 4661 59492734db06
child 4845 49105d3b5a9a
--- a/players.c	Thu Oct 12 11:30:16 2006 +0000
+++ b/players.c	Thu Oct 12 11:42:57 2006 +0000
@@ -192,18 +192,6 @@
 	}
 }
 
-byte ActivePlayerCount(void)
-{
-	const Player *p;
-	byte count = 0;
-
-	FOR_ALL_PLAYERS(p) {
-		if (p->is_active) count++;
-	}
-
-	return count;
-}
-
 void InvalidatePlayerWindows(const Player *p)
 {
 	PlayerID pid = p->index;