X-Git-Url: https://bearssl.org/gitweb//home/git/?a=blobdiff_plain;f=src%2Fec%2Fec_p256_m62.c;h=a4317905204d3241fe9c0ff3b9a47d017ddfae29;hb=46f7dddce75227f2e40ab94d66ceb9f19ee6b1b0;hp=3bcb95b5b19bb30b358a2825d2b8f759a24c3407;hpb=f0ddbc32f07c4042ea31759b0d90864ca087b2b7;p=BearSSL

diff --git a/src/ec/ec_p256_m62.c b/src/ec/ec_p256_m62.c
index 3bcb95b..a431790 100644
--- a/src/ec/ec_p256_m62.c
+++ b/src/ec/ec_p256_m62.c
@@ -580,7 +580,7 @@ f256_final_reduce(uint64_t *a)
 	w = t[2] - cc;
 	t[2] = w & MASK52;
 	cc = w >> 63;
-	w = t[3] - BIT(36);
+	w = t[3] - BIT(36) - cc;
 	t[3] = w & MASK52;
 	cc = w >> 63;
 	t[4] -= cc;