diff options
Diffstat (limited to 'lib/random')
| -rw-r--r-- | lib/random/random.tm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/random/random.tm b/lib/random/random.tm index 107fad66..6e7240e7 100644 --- a/lib/random/random.tm +++ b/lib/random/random.tm @@ -216,7 +216,7 @@ struct RandomNumberGenerator(_chacha:chacha_ctx, _random_bytes:[Byte]=[]; secret mpz_urandomm(r, gmp_rng, range_size); gmp_randclear(gmp_rng); - Int$plus(@min, Int$from_mpz(r)) + Intヽplus(@min, Intヽfrom_mpz(r)) ) |