Files
openzeppelin-contracts/certora/harnesses/Ownable2StepHarness.sol
2023-05-29 21:37:37 +02:00

10 lines
200 B
Solidity

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.19;
import "../patched/access/Ownable2Step.sol";
contract Ownable2StepHarness is Ownable2Step {
function restricted() external onlyOwner {}
}