X-Git-Url: https://www.bearssl.org/gitweb//home/git/?p=BearSSL;a=blobdiff_plain;f=src%2Fint%2Fi31_muladd.c;h=eecd9e2c6c53230c1e0553844d6bb159c2149d3b;hp=6633d92c330be48d65cd3bc3e2758e0014f1cf5a;hb=001d094d140488def90cb3876d5c03f4d79b3e27;hpb=49a0bdc0a9ab788f6f22d24112f35c4c485645de

diff --git a/src/int/i31_muladd.c b/src/int/i31_muladd.c
index 6633d92..eecd9e2 100644
--- a/src/int/i31_muladd.c
+++ b/src/int/i31_muladd.c
@@ -75,7 +75,7 @@ br_i31_muladd_small(uint32_t *x, uint32_t z, const uint32_t *m)
 	 *
 	 * If a = b*q + r (with 0 <= r < q), we can estimate q by
 	 * doing an Euclidean division on the top words:
-	 *   a0*w+a1 = b0*u + v  (with 0 <= v < w)
+	 *   a0*w+a1 = b0*u + v  (with 0 <= v < b0)
 	 * Then the following holds:
 	 *   0 <= u <= w
 	 *   u-2 <= q <= u