Simple documentation fix.

[BearSSL] / src / int / i31_fmont.c

diff --git a/src/int/i31_fmont.c b/src/int/i31_fmont.c
index 4e14361..c24b417 100644 (file)
--- a/src/int/i31_fmont.c
+++ b/src/int/i31_fmont.c
@@ -35,7 +35,7 @@ br_i31_from_monty(uint32_t *x, const uint32_t *m, uint32_t m0i)
                uint32_t f;
                uint64_t cc;
 
-               f = (x[1] * m0i) & 0x7FFFFFFF;
+               f = MUL31_lo(x[1], m0i);
                cc = 0;
                for (v = 0; v < len; v ++) {
                        uint64_t z;