Minor

crytic · Apr 10, 2024 · a1b1f08 · a1b1f08
1 parent 61f2a11
commit a1b1f08
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/program-analysis/slither/examples/coin.sol b/program-analysis/slither/examples/coin.sol
@@ -7,7 +7,7 @@ contract Coin {
     mapping(address => uint256) balances;
 
     // _mint must not be overriden
-    function _mint(address dst, uint256 val) internal {
+    function _mint(address dst, uint256 val) virtual internal {
         require(msg.sender == owner);
         balances[dst] += val;
     }
@@ -20,7 +20,7 @@ contract Coin {
 contract MyCoin is Coin {
     event Mint(address, uint256);
 
-    function _mint(address dst, uint256 val) internal {
+    function _mint(address dst, uint256 val) override internal {
         balances[dst] += val;
         emit Mint(dst, val);
     }