From 2d33674870b15f5d729235a81ed1cecef5504ac9 Mon Sep 17 00:00:00 2001
From: Shelly Grossman <shelly@certora.com>
Date: Wed, 3 Nov 2021 17:09:27 +0200
Subject: [PATCH] multiple inheritance is tricky

---
 certora/harnesses/GovernorVotesHarness.sol | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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