openzeppelin-contracts/certora/harnesses/AccessControlHarness.sol

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.5.0) (access/AccessControl.sol)

pragma solidity ^0.8.0;

import "../munged/access/AccessControl.sol";

contract AccessControlHarness is AccessControl {}