From 31f206bb07e664e63c9b2442e179c10922a7c493 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 13 Mar 2021 18:32:13 +0000
Subject: [PATCH] fake rng: Actually use fake rng, if we should

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 src/hidden.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/hidden.rs b/src/hidden.rs
index af56dee6..579984af 100644
--- a/src/hidden.rs
+++ b/src/hidden.rs
@@ -438,8 +438,7 @@ mod vpid {
 
         let permu = {
           let mut permu = pieces;
-          let mut rng = thread_rng();
-          permu.shuffle(&mut rng);
+          config().game_rng.shuffle(&mut permu);
           permu
         };
 
-- 
2.30.2