1 files changed, 4 insertions, 5 deletions
diff --git a/src/Specific/IntegrationTestMontgomeryP256_128Display.log b/src/Specific/IntegrationTestMontgomeryP256_128Display.log
index ff714ff16..5a9182d47 100644
--- a/src/Specific/IntegrationTestMontgomeryP256_128Display.log
+++ b/src/Specific/IntegrationTestMontgomeryP256_128Display.log
@@ -32,10 +32,9 @@ Interp-η
  uint8_t x89 = x88 + x64;
  uint128_t x91, uint8_t x92 = subborrow_u128(0x0, x84, 0xffffffffffffffffffffffffL);
  uint128_t x94, uint8_t x95 = subborrow_u128(x92, x87, 0xffffffff000000010000000000000000L);
- ℤ x96 = Op (Syntax.Opp (Syntax.TWord 3) Syntax.TZ) (Return x95);
- uint128_t _, ℤ x99 = addcarryx_u128ℤ(0x0, x96, x89);
- uint128_t x100 = x99 == 0 ? x94 : x87;
- uint128_t x101 = x99 == 0 ? x91 : x84;
- return (x100, x101))
+ uint128_t _, uint8_t x98 = subborrow_u128(x95, x89, 0x0);
+ uint128_t x99 = x98 == 0 ? x94 : x87;
+ uint128_t x100 = x98 == 0 ? x91 : x84;
+ return (x99, x100))
 (x, x0)%core
      : word128 * word128 → word128 * word128 → ReturnType (uint128_t * uint128_t)