diff --git a/certora/harnesses/GovernorPreventLateHarness.sol b/certora/harnesses/GovernorPreventLateHarness.sol
index dc306d63e..1adb8eb90 100644
--- a/certora/harnesses/GovernorPreventLateHarness.sol
+++ b/certora/harnesses/GovernorPreventLateHarness.sol
@@ -51,10 +51,6 @@ contract GovernorPreventLateHarness 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);
     }