From 7616e43b4d011ef90e7e20f47e9837c660d8428f Mon Sep 17 00:00:00 2001

From: Jan Midtgaard <jmid@mmmi.sdu.dk>

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