Update display logs and c files

2 files changed, 2 insertions, 2 deletions

diff --git a/src/Specific/solinas64_2e480m2e240m1_10limbs/fesub.c b/src/Specific/solinas64_2e480m2e240m1_10limbs/fesub.c
index 863694727..806ea3ced 100644
--- a/src/Specific/solinas64_2e480m2e240m1_10limbs/fesub.c
+++ b/src/Specific/solinas64_2e480m2e240m1_10limbs/fesub.c
@@ -24,7 +24,7 @@ static void fesub(uint64_t out[10], const uint64_t in1[10], const uint64_t in2[1
   out[2] = ((0x1fffffffffffe + x9) - x27);
   out[3] = ((0x1fffffffffffe + x11) - x29);
   out[4] = ((0x1fffffffffffe + x13) - x31);
-  out[5] = ((Const 562949953421308 + x15) - x33);
+  out[5] = ((0x1fffffffffffc + x15) - x33);
   out[6] = ((0x1fffffffffffe + x17) - x35);
   out[7] = ((0x1fffffffffffe + x19) - x37);
   out[8] = ((0x1fffffffffffe + x21) - x39);
diff --git a/src/Specific/solinas64_2e480m2e240m1_10limbs/fesubDisplay.log b/src/Specific/solinas64_2e480m2e240m1_10limbs/fesubDisplay.log
index 146ae8f2b..e5177ed02 100644
--- a/src/Specific/solinas64_2e480m2e240m1_10limbs/fesubDisplay.log
+++ b/src/Specific/solinas64_2e480m2e240m1_10limbs/fesubDisplay.log
@@ -2,6 +2,6 @@
 Interp-η
 (λ var : Syntax.base_type → Type,
  λ '(x20, x21, x19, x17, x15, x13, x11, x9, x7, x5, (x38, x39, x37, x35, x33, x31, x29, x27, x25, x23))%core,
- (((0x1fffffffffffe + x20) - x38), ((0x1fffffffffffe + x21) - x39), ((0x1fffffffffffe + x19) - x37), ((0x1fffffffffffe + x17) - x35), ((Const 562949953421308 + x15) - x33), ((0x1fffffffffffe + x13) - x31), ((0x1fffffffffffe + x11) - x29), ((0x1fffffffffffe + x9) - x27), ((0x1fffffffffffe + x7) - x25), ((0x1fffffffffffe + x5) - x23)))
+ (((0x1fffffffffffe + x20) - x38), ((0x1fffffffffffe + x21) - x39), ((0x1fffffffffffe + x19) - x37), ((0x1fffffffffffe + x17) - x35), ((0x1fffffffffffc + x15) - x33), ((0x1fffffffffffe + x13) - x31), ((0x1fffffffffffe + x11) - x29), ((0x1fffffffffffe + x9) - x27), ((0x1fffffffffffe + x7) - x25), ((0x1fffffffffffe + x5) - x23)))
 (x, x0)%core
      : word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t)