From f351d14f7e59603f9842afcb76e1a01f5c801efb Mon Sep 17 00:00:00 2001 From: Nicky Mouha Date: Mon, 11 May 2026 20:30:58 -0400 Subject: [PATCH] Avoid mismatched comparison (suggested code improvement, not a bug!) Signed-off-by: Nicky Mouha --- mldsa/src/ct.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mldsa/src/ct.h b/mldsa/src/ct.h index f7953b3b0..2c38abc85 100644 --- a/mldsa/src/ct.h +++ b/mldsa/src/ct.h @@ -299,7 +299,7 @@ __contract__( ensures((return_value == 0) == forall(i, 0, len, (a[i] == b[i])))) { uint8_t r = 0, s = 0; - unsigned i; + size_t i; for (i = 0; i < len; i++) __loop__(