1 files changed, 3 insertions, 3 deletions
diff --git a/src/Specific/montgomery64_2e141m9/femul.c b/src/Specific/montgomery64_2e141m9/femul.c
index 1ef81a49b..2d0bf967e 100644
--- a/src/Specific/montgomery64_2e141m9/femul.c
+++ b/src/Specific/montgomery64_2e141m9/femul.c
@@ -70,9 +70,9 @@ static void femul(uint64_t out[3], const uint64_t in1[3], const uint64_t in2[3])
   { uint64_t x195; uint8_t x196 = _subborrow_u64(x193, x185, 0xffffffffffffffffL, &x195);
   { uint64_t x198; uint8_t x199 = _subborrow_u64(x196, x188, 0x1fff, &x198);
   { uint64_t _; uint8_t x202 = _subborrow_u64(x199, x190, 0x0, &_);
-  { uint64_t x203 = cmovznz(x202, x198, x188);
-  { uint64_t x204 = cmovznz(x202, x195, x185);
-  { uint64_t x205 = cmovznz(x202, x192, x182);
+  { uint64_t x203 = cmovznz64(x202, x198, x188);
+  { uint64_t x204 = cmovznz64(x202, x195, x185);
+  { uint64_t x205 = cmovznz64(x202, x192, x182);
   out[0] = x205;
   out[1] = x204;
   out[2] = x203;