Fix comment misspell (#1217)

crytic · Mar 18, 2024 · ddec4e6 · ddec4e6
1 parent cb197b3
commit ddec4e6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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.