From a21a5670e0915203c994a40765e69615eb26ab1a Mon Sep 17 00:00:00 2001 From: Artem Yurchenko <zumikq78@gmail.com> Date: Wed, 8 Nov 2023 16:34:56 +0100 Subject: [PATCH] Fix: use builtin consts instead of math to relfect PR changes --- fun/fun.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fun/fun.v b/fun/fun.v index 097578444..e2385c40c 100644 --- a/fun/fun.v +++ b/fun/fun.v @@ -65,7 +65,7 @@ pub fn uint_binomial(n_ u64, k_ u64) u64 { mut c := u64(1) for i := u64(1); i <= k; i++ { c_i := c / i - max_n := math.max_u64 / n + max_n := max_u64 / n if c_i > max_n / n { errors.vsl_panic('overflow in uint_binomial: ${c_i} > ${max_n}', .eovrflw) }