From ddec4e68e619965142cfeb62919bf62935a96af8 Mon Sep 17 00:00:00 2001 From: Snoppy Date: Mon, 18 Mar 2024 17:16:22 +0800 Subject: [PATCH] Fix comment misspell (#1217) --- CHANGELOG.md | 2 +- tests/solidity/assert/fullmath.sol | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index ca3f4bb35..ae4923ffc 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -273,7 +273,7 @@ * `default.yaml` kept up to date via CI checks (#301) * Improved shrinking (#310) * Solidity ABIv2 support (#284, #303, #317) -* Early termination on property falure (#323) +* Early termination on property failure (#323) * Timeouts (#320) * HEVM updated to [2cc059b49cae613025b925f0273b906e25484b68] * Dictionary control (#312, #321) diff --git a/tests/solidity/assert/fullmath.sol b/tests/solidity/assert/fullmath.sol index 69be893f8..463592eb4 100644 --- a/tests/solidity/assert/fullmath.sol +++ b/tests/solidity/assert/fullmath.sol @@ -92,7 +92,7 @@ library FullMath { // Because the division is now exact we can divide by multiplying // with the modular inverse of denominator. This will give us the - // correct result modulo 2**256. Since the precoditions guarantee + // correct result modulo 2**256. Since the preconditions guarantee // that the outcome is less than 2**256, this is the final result. // We don't need to compute the high bits of the result and prod1 // is no longer required.