Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Replace last use of std::uniform_int_distribution with our own
Our implementation should be slightly faster, and has the advantage of being consistent between platforms. This does not have immediate user impact, because we currently use random_device to generate random seed for resampling, but if we decide to change this in the future, it is one less place to fix.
- Loading branch information