From 54ec225a5afb5da83106e79ed969c6952664a7d2 Mon Sep 17 00:00:00 2001
From: Danny Robson <danny@nerdcruft.net>
Date: Sat, 9 Feb 2019 14:57:22 +1100
Subject: [PATCH] random: don't use default_random_engine by default

---
 random.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/random.hpp b/random.hpp
index e3f1d175..0ee5e84b 100644
--- a/random.hpp
+++ b/random.hpp
@@ -59,7 +59,7 @@ namespace cruft::random {
     inline auto&
     generator (void)
     {
-        using generator_t = std::default_random_engine;
+        using generator_t = std::mt19937_64;
 
         static thread_local generator_t gen = [] () {
             std::array<int,state_size_v<generator_t> / 4> seed;