const unsigned menu_begin = titleset_num * dvdauthor_anonymous_menus_max;
const unsigned menu_end =
have_real_menus
- ? std::min((titleset_num + 1) * dvdauthor_anonymous_menus_max,
- menus_.size())
+ ? std::min<unsigned>(
+ (titleset_num + 1) * dvdauthor_anonymous_menus_max,
+ menus_.size())
: menu_begin + 1;
for (unsigned menu_index = menu_begin;