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=28e4e120b84dacdf53963639f1a8a6fec2793662;hpb=6dd8c51ba7e8ca106ede7ff58b5c507042bbf6eb

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