From bf5b5af99f8bbc74354ac7a652950f23029616f9 Mon Sep 17 00:00:00 2001 From: Nicky Mouha Date: Mon, 11 May 2026 20:22:17 -0400 Subject: [PATCH] Avoid mismatched comparison (suggested code improvement, not a bug!) Signed-off-by: Nicky Mouha --- mlkem/src/verify.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mlkem/src/verify.h b/mlkem/src/verify.h index 600afa44a..0911a46b8 100644 --- a/mlkem/src/verify.h +++ b/mlkem/src/verify.h @@ -333,7 +333,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__(