diff options
Diffstat (limited to 'src/Specific/IntegrationTestMulDisplay.log')
-rw-r--r-- | src/Specific/IntegrationTestMulDisplay.log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/IntegrationTestMulDisplay.log b/src/Specific/IntegrationTestMulDisplay.log index fadf37f9d..e49d7c117 100644 --- a/src/Specific/IntegrationTestMulDisplay.log +++ b/src/Specific/IntegrationTestMulDisplay.log @@ -33,7 +33,7 @@ Interp-η uint64_t x48 = x47 >> 0x33; uint64_t x49 = x47 & 0x7ffffffffffff; uint64_t x50 = x48 + x37; - bool x51 = (bool) (x50 >> 0x33); + uint64_t x51 = x50 >> 0x33; uint64_t x52 = x50 & 0x7ffffffffffff; return (Return x46, Return x43, x51 + x40, Return x52, Return x49)) (x, x0)%core |