Skip to content

Commit

Permalink
Fix: use builtin consts instead of math to relfect PR changes (#190)
Browse files Browse the repository at this point in the history
  • Loading branch information
ArtemkaKun authored Nov 20, 2023
1 parent fba1f76 commit a435426
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion fun/fun.v
Original file line number Diff line number Diff line change
Expand Up @@ -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)
}
Expand Down

0 comments on commit a435426

Please sign in to comment.