fix harness

2023-04-25 12:04:22 +02:00
parent 5e71c01bcc
commit e072521fcb
1 changed files with 0 additions and 4 deletions
--- a/certora/harnesses/GovernorHarness.sol
+++ b/certora/harnesses/GovernorHarness.sol
@ -48,10 +48,6 @@ contract GovernorHarness is
        return _executor();
    }

-    function proposalProposer(uint256 proposalId) public view returns (address) {
-        return _proposalProposer(proposalId);
-    }
-
    function quorumReached(uint256 proposalId) public view returns (bool) {
        return _quorumReached(proposalId);
    }