From b3491f2c206c0b935a418b03846fd94480f96c1c Mon Sep 17 00:00:00 2001 From: Jacek Jendrzej Date: Mon, 28 Mar 2016 15:03:29 +0200 Subject: [PATCH] rnd for random_shuffle --- src/gui/audioplayer.h | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/gui/audioplayer.h b/src/gui/audioplayer.h index 6d8db5bbc..297f5605a 100644 --- a/src/gui/audioplayer.h +++ b/src/gui/audioplayer.h @@ -76,12 +76,11 @@ class RandomNumber public: RandomNumber() { - srand(time(0)); + std::srand(time(0)); } - int operator()(int n) - { - return (n * rand() / RAND_MAX); + int operator()(int n){ + return std::rand() / (1.0 + RAND_MAX) * n; } };