diff options
| -rw-r--r-- | src/random.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/random.h b/src/random.h index c7fd599..a18f5b6 100644 --- a/src/random.h +++ b/src/random.h @@ -52,7 +52,10 @@ public: T& choose(std::vector<T>& vec); private: - std::default_random_engine generator; + // The std::default_random_engine of the gcc libstdc++ library is + // minstd_rand0, so make sure we use that all platforms regardless of which + // stdlib we link with. + std::minstd_rand0 generator; }; template <typename T> |