From 0daafdb01eee77f0f45cb1d9efad91296722b80a Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Wed, 3 May 2023 12:31:07 +0200
Subject: [PATCH] fix harness

---
 certora/harnesses/GovernorPreventLateHarness.sol | 4 ----
 1 file changed, 4 deletions(-)

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);
     }