diff options
| author |  wookie184 <[email protected]> | 2022-08-02 18:01:27 +0100 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2022-08-02 18:01:27 +0100 |
| commit | 57e5f9764dcc135166961747abcb883d6a06df7f (patch) | |
| tree | 8f72d48beefe43c2566a19f6bb472b49537e0912 /bot/exts/fun/battleship.py | |
| parent | Updated docstring for _ext_emoji_replace (diff) | |
| parent | GitHub issues embeds: preserve order and display repo name and issue number (... (diff) | |
Merge branch 'main' into uwu-emoji-fix
Diffstat (limited to 'bot/exts/fun/battleship.py')
| -rw-r--r-- | bot/exts/fun/battleship.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bot/exts/fun/battleship.py b/bot/exts/fun/battleship.py index beff196f..77e38427 100644 --- a/bot/exts/fun/battleship.py +++ b/bot/exts/fun/battleship.py @@ -110,8 +110,8 @@ class Game: self.gameover: bool = False - self.turn: Optional[discord.Member] = None - self.next: Optional[discord.Member] = None + self.turn: Optional[Player] = None + self.next: Optional[Player] = None self.match: Optional[re.Match] = None self.surrender: bool = False |