2 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas64_2e226m5/freeze.c b/src/Specific/solinas64_2e226m5/freeze.c
index 2f855e910..27a027c47 100644
--- a/src/Specific/solinas64_2e226m5/freeze.c
+++ b/src/Specific/solinas64_2e226m5/freeze.c
@@ -7,7 +7,7 @@ static void freeze(uint64_t out[4], const uint64_t in1[4]) {
   { uint64_t x11, uint8_t x12 = Op (Syntax.SubWithGetBorrow 56 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x9, Return x4, 0xffffffffffffff);
   { uint64_t x14, uint8_t x15 = Op (Syntax.SubWithGetBorrow 57 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x12, Return x6, 0x1ffffffffffffff);
   { uint64_t x17, uint8_t x18 = Op (Syntax.SubWithGetBorrow 56 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x15, Return x5, 0xffffffffffffff);
-  { uint64_t x19 = (uint64_t)cmovznz(x18, 0x0, 0xffffffffffffffffL);
+  { uint64_t x19 = cmovznz64(x18, 0x0, 0xffffffffffffffffL);
   { uint64_t x20 = (x19 & 0x1fffffffffffffb);
   { uint64_t x22, uint8_t x23 = Op (Syntax.AddWithGetCarry 57 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x8, Return x20);
   { uint64_t x24 = (x19 & 0xffffffffffffff);
diff --git a/src/Specific/solinas64_2e226m5/freezeDisplay.log b/src/Specific/solinas64_2e226m5/freezeDisplay.log
index 2c1cd72a7..89622811c 100644
--- a/src/Specific/solinas64_2e226m5/freezeDisplay.log
+++ b/src/Specific/solinas64_2e226m5/freezeDisplay.log
@@ -6,7 +6,7 @@ Interp-η
  uint64_t x11, uint8_t x12 = Op (Syntax.SubWithGetBorrow 56 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x9, Return x4, 0xffffffffffffff);
  uint64_t x14, uint8_t x15 = Op (Syntax.SubWithGetBorrow 57 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x12, Return x6, 0x1ffffffffffffff);
  uint64_t x17, uint8_t x18 = Op (Syntax.SubWithGetBorrow 56 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x15, Return x5, 0xffffffffffffff);
- uint64_t x19 = (uint64_t)cmovznz(x18, 0x0, 0xffffffffffffffffL);
+ uint64_t x19 = cmovznz64(x18, 0x0, 0xffffffffffffffffL);
  uint64_t x20 = (x19 & 0x1fffffffffffffb);
  uint64_t x22, uint8_t x23 = Op (Syntax.AddWithGetCarry 57 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x8, Return x20);
  uint64_t x24 = (x19 & 0xffffffffffffff);