Update display logs

2 files changed, 8 insertions, 8 deletions

diff --git a/src/Specific/solinas32_2e158m15/femulDisplay.log b/src/Specific/solinas32_2e158m15/femulDisplay.log
index 7fac26564..83d0d6f1e 100644
--- a/src/Specific/solinas32_2e158m15/femulDisplay.log
+++ b/src/Specific/solinas32_2e158m15/femulDisplay.log
@@ -17,15 +17,15 @@ Interp-η
  uint64_t x36 = (x35 >> 0x1a);
  uint32_t x37 = ((uint32_t)x35 & 0x3ffffff);
  uint64_t x38 = (x36 + x26);
- uint32_t x39 = (uint32_t) (x38 >> 0x1b);
+ uint64_t x39 = (x38 >> 0x1b);
  uint32_t x40 = ((uint32_t)x38 & 0x7ffffff);
  uint64_t x41 = (x39 + x25);
- uint32_t x42 = (uint32_t) (x41 >> 0x1a);
+ uint64_t x42 = (x41 >> 0x1a);
  uint32_t x43 = ((uint32_t)x41 & 0x3ffffff);
  uint64_t x44 = (x42 + x24);
- uint32_t x45 = (uint32_t) (x44 >> 0x1a);
+ uint64_t x45 = (x44 >> 0x1a);
  uint32_t x46 = ((uint32_t)x44 & 0x3ffffff);
- uint64_t x47 = (x31 + ((uint64_t)0xf * x45));
+ uint64_t x47 = (x31 + (0xf * x45));
  uint32_t x48 = (uint32_t) (x47 >> 0x1b);
  uint32_t x49 = ((uint32_t)x47 & 0x7ffffff);
  uint32_t x50 = (x48 + x34);
diff --git a/src/Specific/solinas32_2e158m15/fesquareDisplay.log b/src/Specific/solinas32_2e158m15/fesquareDisplay.log
index cf502782c..c77e995f1 100644
--- a/src/Specific/solinas32_2e158m15/fesquareDisplay.log
+++ b/src/Specific/solinas32_2e158m15/fesquareDisplay.log
@@ -17,15 +17,15 @@ Interp-η
  uint64_t x23 = (x22 >> 0x1a);
  uint32_t x24 = ((uint32_t)x22 & 0x3ffffff);
  uint64_t x25 = (x23 + x13);
- uint32_t x26 = (uint32_t) (x25 >> 0x1b);
+ uint64_t x26 = (x25 >> 0x1b);
  uint32_t x27 = ((uint32_t)x25 & 0x7ffffff);
  uint64_t x28 = (x26 + x12);
- uint32_t x29 = (uint32_t) (x28 >> 0x1a);
+ uint64_t x29 = (x28 >> 0x1a);
  uint32_t x30 = ((uint32_t)x28 & 0x3ffffff);
  uint64_t x31 = (x29 + x11);
- uint32_t x32 = (uint32_t) (x31 >> 0x1a);
+ uint64_t x32 = (x31 >> 0x1a);
  uint32_t x33 = ((uint32_t)x31 & 0x3ffffff);
- uint64_t x34 = (x18 + ((uint64_t)0xf * x32));
+ uint64_t x34 = (x18 + (0xf * x32));
  uint32_t x35 = (uint32_t) (x34 >> 0x1b);
  uint32_t x36 = ((uint32_t)x34 & 0x7ffffff);
  uint32_t x37 = (x35 + x21);