fix build

This commit is contained in:
m 2022-07-07 16:07:16 -05:00 committed by GitHub
parent 415499a09c
commit 46e0e7c8e1

View File

@ -96,10 +96,10 @@ namespace bots
}
}
size_t bot_id = 0;
const char* get_random_bot_name()
{
static size_t bot_id = 0;
if (bot_names.empty())
{
load_bot_data();