From 7616e43b4d011ef90e7e20f47e9837c660d8428f Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Thu, 12 Nov 2020 12:47:28 +0100 Subject: [PATCH 2/2] rm needless .Gen --- src/core/QCheck.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/QCheck.ml b/src/core/QCheck.ml index 67d6e3a..f05f73c 100644 --- a/src/core/QCheck.ml +++ b/src/core/QCheck.ml @@ -172,7 +172,7 @@ module Gen = struct fun st -> let f_a = float_of_int a in let ratio = (-.f_a) /. (1. +. float_of_int b -. f_a) in - if Random.State.float st 1. <= ratio then - (Gen.int_bound (- (a+1)) st) - 1 + if Random.State.float st 1. <= ratio then - (int_bound (- (a+1)) st) - 1 else int_bound b st ) -- 2.28.0