From f4f9f0352ba6d08060d642eb998fe130c217eb98 Mon Sep 17 00:00:00 2001
From: Pierre Fenoll <pierrefenoll@gmail.com>
Date: Fri, 3 Apr 2020 20:10:36 +0200
Subject: [PATCH] derive seed with ?SEED_RANGE

Signed-off-by: Pierre Fenoll <pierrefenoll@gmail.com>
---
 src/proper_arith.erl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/proper_arith.erl b/src/proper_arith.erl
index 26b1a991..539f98fb 100644
--- a/src/proper_arith.erl
+++ b/src/proper_arith.erl
@@ -244,9 +244,9 @@ rand_restart(Seed) ->
 -spec rand_make_seed() -> proper_gen:seed().
 rand_make_seed() ->
     {_,_} = get(?SEED_NAME),
-    A = ?RANDOM_MOD:uniform(1000000),
-    B = ?RANDOM_MOD:uniform(1000000),
-    C = ?RANDOM_MOD:uniform(1000000),
+    A = rand_int(0, ?SEED_RANGE -1),
+    B = rand_int(0, ?SEED_RANGE -1),
+    C = rand_int(0, ?SEED_RANGE -1),
     {A,B,C}.
 
 -spec rand_reseed() -> 'ok'.