diff --git a/certora/harnesses/GovernorVotesHarness.sol b/certora/harnesses/GovernorVotesHarness.sol
index 8ed638e41..3e06c8daa 100644
--- a/certora/harnesses/GovernorVotesHarness.sol
+++ b/certora/harnesses/GovernorVotesHarness.sol
@@ -47,5 +47,5 @@ contract GovernorVotesHarness is GovernorVotes {
         // havoc something
     }
 
-    constructor(ERC20Votes tokenAddr) GovernorVotes(tokenAddr) {}
+    constructor(ERC20Votes tokenAddr, string memory name) GovernorVotes(tokenAddr) Governor(name) {}
 }
\ No newline at end of file