src/engine.cpp
changeset 9129 e4a00ee7237b
parent 9068 ae69d946347e
child 9259 088d3649dd4f
child 10323 57d8fd25473e
--- 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;
 }