diff --git a/certora/harnesses/GovernorHarness.sol b/certora/harnesses/GovernorHarness.sol
index a6b1a2738..4d26775db 100644
--- 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);
     }