Closed jtrmal closed 2 years ago
turns out std::random_shuffle()
was also removed and needed to be replaced by std:shuffle(begin, end, RNG)
which I did in the second commit. @danpovey could you please check if this has any implication on the functionality? Things will be more random now... Tests ran fine both in C++14 and C++17
merging
@danpovey @h-vetinari I took a stab at it -- seems like it's working for C++14, testing C++17 ATM