multiple inheritance is tricky

3 years ago · 72d4e9c29c
parent cac49bfc2e
commit 72d4e9c29c
1 changed files with 1 additions and 1 deletions
--- 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) {}
 }