Update display logs and c files

2 files changed, 2 insertions, 2 deletions

diff --git a/src/Specific/solinas64_2e512m491x2e496m1/freeze.c b/src/Specific/solinas64_2e512m491x2e496m1/freeze.c
index 4d6d97806..f0903fd8e 100644
--- a/src/Specific/solinas64_2e512m491x2e496m1/freeze.c
+++ b/src/Specific/solinas64_2e512m491x2e496m1/freeze.c
@@ -19,7 +19,7 @@ static void freeze(uint64_t out[10], const uint64_t in1[10]) {
   { uint64_t x41; uint8_t x42 = _subborrow_u51(x39, x16, 0x7ffffffffffff, &x41);
   { uint64_t x44; uint8_t x45 = _subborrow_u51(x42, x18, 0x7ffffffffffff, &x44);
   { uint64_t x47; uint8_t x48 = _subborrow_u51(x45, x17, 0x7f0a7ffffffff, &x47);
-  { uint64_t x49 = (uint64_t)cmovznz(x48, 0x0, 0xffffffffffffffffL);
+  { uint64_t x49 = cmovznz64(x48, 0x0, 0xffffffffffffffffL);
   { uint64_t x50 = (x49 & 0xfffffffffffff);
   { uint64_t x52, uint8_t x53 = Op (Syntax.AddWithGetCarry 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x20, Return x50);
   { uint64_t x54 = (x49 & 0x7ffffffffffff);
diff --git a/src/Specific/solinas64_2e512m491x2e496m1/freezeDisplay.log b/src/Specific/solinas64_2e512m491x2e496m1/freezeDisplay.log
index c086f7ec6..a32e03130 100644
--- a/src/Specific/solinas64_2e512m491x2e496m1/freezeDisplay.log
+++ b/src/Specific/solinas64_2e512m491x2e496m1/freezeDisplay.log
@@ -12,7 +12,7 @@ Interp-η
  uint64_t x41, uint8_t x42 = subborrow_u51(x39, x16, 0x7ffffffffffff);
  uint64_t x44, uint8_t x45 = subborrow_u51(x42, x18, 0x7ffffffffffff);
  uint64_t x47, uint8_t x48 = subborrow_u51(x45, x17, 0x7f0a7ffffffff);
- uint64_t x49 = (uint64_t)cmovznz(x48, 0x0, 0xffffffffffffffffL);
+ uint64_t x49 = cmovznz64(x48, 0x0, 0xffffffffffffffffL);
  uint64_t x50 = (x49 & 0xfffffffffffff);
  uint64_t x52, uint8_t x53 = Op (Syntax.AddWithGetCarry 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x20, Return x50);
  uint64_t x54 = (x49 & 0x7ffffffffffff);