Skip to content

Commit

Permalink
Fix typo
Browse files Browse the repository at this point in the history
  • Loading branch information
Lohann committed Apr 29, 2024
1 parent 0109a89 commit fa7b02e
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 3 deletions.
1 change: 0 additions & 1 deletion contracts/utils/math/Math.sol
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,6 @@ library Math {
success := gt(b, 0)
result := mod(a, b)
}
// return (b > 0, a % b);
}
}

Expand Down
4 changes: 2 additions & 2 deletions contracts/utils/math/SignedMath.sol
Original file line number Diff line number Diff line change
Expand Up @@ -77,7 +77,7 @@ library SignedMath {
// - underflow is only possible when both `a` and `b` are negative
//
// Lemma:
// (i) - if `a > (a + b)` is true, then `b` MUST be negative, othewise overflow happened.
// (i) - if `a > (a + b)` is true, then `b` MUST be negative, otherwise overflow happened.
// (ii) - if `a > (a + b)` is false, then `b` MUST be non-negative, otherwise underflow happened.
//
// So the following statement will be true only if an overflow or underflow happened:
Expand Down Expand Up @@ -112,7 +112,7 @@ library SignedMath {
// - underflow is only possible when `a` is negative and `b` is positive
//
// Lemma:
// (i) - if `a >= (a - b)` is true, then `b` MUST be non-negative, othewise overflow happened.
// (i) - if `a >= (a - b)` is true, then `b` MUST be non-negative, otherwise overflow happened.
// (ii) - if `a >= (a - b)` is false, then `b` MUST be negative, otherwise underflow happened.
//
// So the following statement will be true only if an overflow or underflow happened:
Expand Down

0 comments on commit fa7b02e

Please sign in to comment.