diff -r f5c4d3c04b5d -r 187142ff9b6c src/ai/ai.cpp
--- a/src/ai/ai.cpp	Fri Jul 18 16:26:51 2008 +0000
+++ b/src/ai/ai.cpp	Fri Jul 18 16:40:29 2008 +0000
@@ -193,7 +193,7 @@
 		const Player* p;
 
 		FOR_ALL_PLAYERS(p) {
-			if (p->is_active && p->is_ai) {
+			if (p->is_ai) {
 				/* This should always be true, else something went wrong... */
 				assert(_ai_player[p->index].active);
 
@@ -249,6 +249,6 @@
 	const Player* p;
 
 	FOR_ALL_PLAYERS(p) {
-		if (p->is_active && p->is_ai) AI_PlayerDied(p->index);
+		if (p->is_ai) AI_PlayerDied(p->index);
 	}
 }