From e072521fcb660302049a345f168e210dff7072d6 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Tue, 25 Apr 2023 12:04:22 +0200
Subject: [PATCH] fix harness

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

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