X-Git-Url: https://www.bearssl.org/gitweb//home/git/?p=BearSSL;a=blobdiff_plain;f=src%2Fint%2Fi31_fmont.c;h=c24b417665ac67a06751738f24d3b945c72574b1;hp=4e143612dde45faef1d04dbc3d08c553bc7dd4b4;hb=28e4e120b84dacdf53963639f1a8a6fec2793662;hpb=6dd8c51ba7e8ca106ede7ff58b5c507042bbf6eb

diff --git a/src/int/i31_fmont.c b/src/int/i31_fmont.c
index 4e14361..c24b417 100644
--- 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;