|
|
@ -12,9 +12,9 @@ library SafeMath { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
function div(uint a, uint b) internal returns (uint) { |
|
|
|
function div(uint a, uint b) internal returns (uint) { |
|
|
|
assert(b > 0); |
|
|
|
// assert(b > 0); // Solidity automatically throws when dividing by 0 |
|
|
|
uint c = a / b; |
|
|
|
uint c = a / b; |
|
|
|
assert(a == b * c + a % b); |
|
|
|
// assert(a == b * c + a % b); // There is no case in which this doesn't hold |
|
|
|
return c; |
|
|
|
return c; |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|