From 5f8be5fa910a1191ea4da7b400b172bc5ae183d3 Mon Sep 17 00:00:00 2001
From: Dan Albert <dan@gingerhq.net>
Date: Tue, 13 Jul 2021 17:08:37 -0700
Subject: [PATCH] Fix type checker issue.

---
 game/commander/theaterstate.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/game/commander/theaterstate.py b/game/commander/theaterstate.py
index e04a13a3..4450c95b 100644
--- a/game/commander/theaterstate.py
+++ b/game/commander/theaterstate.py
@@ -97,6 +97,7 @@ class TheaterState(WorldState["TheaterState"]):
             if target.control_point != control_point:
                 continue
             if target.is_ammo_depot:
+                assert isinstance(target, BuildingGroundObject)
                 yield target
 
     def clone(self) -> TheaterState: