fix build

This commit is contained in:
m
2022-07-07 16:07:16 -05:00
committed by GitHub
parent 15166ed65c
commit 771bfc1496

View File

@ -95,11 +95,11 @@ 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();