diff -r f9a3cfdec1df -r 87562a68c41f hedgewars/uTypes.pas
--- a/hedgewars/uTypes.pas	Sun Dec 09 22:28:46 2018 +0100
+++ b/hedgewars/uTypes.pas	Mon Dec 10 02:30:14 2018 +0100
@@ -444,6 +444,7 @@
             voicepack: PVoicepack;
             PlayerHash: shortstring;   // md5 hash of player name. For temporary enabling of hats as thank you. Hashed for privacy of players
             stats: TTeamStats;
+            hasKing: boolean; // true if team has a living king
             hasGone: boolean;
             skippedTurns: Longword;
             isGoneFlagPendingToBeSet, isGoneFlagPendingToBeUnset: boolean;