Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Optimize subgames search a little bit (#8096)
Reserve space for the list of games in findWorldSubgame. The performance gain is pretty much negligible but this change also gets rid of a performance warning by CLANG TIDY.
- Loading branch information