1 files changed, 1 insertions, 1 deletions
diff --git a/p521_32.c b/p521_32.c
index a41c8199e..d852bb285 100644
--- a/p521_32.c
+++ b/p521_32.c
@@ -92,7 +92,7 @@ static void fiat_p521_subborrowx_u31(uint32_t* out1, fiat_p521_uint1* out2, fiat
 static void fiat_p521_cmovznz_u32(uint32_t* out1, fiat_p521_uint1 arg1, uint32_t arg2, uint32_t arg3) {
   fiat_p521_uint1 x1 = (!(!arg1));
   uint32_t x2 = ((fiat_p521_int1)(0x0 - x1) & UINT32_C(0xffffffff));
-  uint32_t x3 = ((x2 & arg3) | (uint32_t)((uint64_t)(~x2) & arg2));
+  uint32_t x3 = ((x2 & arg3) | ((~x2) & arg2));
   *out1 = x3;
 }