From eb4432bb6260eaadb41495149739244308e9e125 Mon Sep 17 00:00:00 2001
From: Tiger Wang <ziwei.tiger@outlook.com>
Date: Fri, 28 Jul 2017 17:54:40 +0100
Subject: Tentative fix for player-limit race condition (#3862)

* Attempts to fix #2257

Derived from d233e9843148313c71fbaba96ccff660e47b07b1

* Changed player count type to int

* Clarified certain actions
---
 src/FastRandom.h | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/FastRandom.h')

diff --git a/src/FastRandom.h b/src/FastRandom.h
index 7c3048118..7ae5949d4 100644
--- a/src/FastRandom.h
+++ b/src/FastRandom.h
@@ -15,9 +15,6 @@ prefer calls to GetRandomProvider over creating new instances.
 
 
 #pragma once
-#include <random>
-#include <type_traits>
-#include <limits>
 
 
 
-- 
cgit v1.2.3