src/engine.cpp
changeset 8633 454accf1533b
parent 8572 5042e9287ea1
child 8763 81fadd257f67
--- a/src/engine.cpp	Sun Feb 24 22:20:31 2008 +0000
+++ b/src/engine.cpp	Mon Feb 25 02:09:04 2008 +0000
@@ -218,7 +218,7 @@
 		if (best_player == PLAYER_SPECTATOR) return PLAYER_SPECTATOR;
 
 		SetBit(mask, best_player);
-	} while (--p != 0);
+	} while (--pp != 0);
 
 	return best_player;
 }