From a7104355359f2b64eae8acf39ac2c7377ee30317 Mon Sep 17 00:00:00 2001
From: Aleksander Kryukov <58052996+RedLikeRosesss@users.noreply.github.com>
Date: Wed, 3 Nov 2021 17:24:35 +0200
Subject: [PATCH] multiple inheritance is tricky x2

---
 certora/harnesses/GovernorVotesQuorumFractionHarness.sol | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/certora/harnesses/GovernorVotesQuorumFractionHarness.sol b/certora/harnesses/GovernorVotesQuorumFractionHarness.sol
index 65be741d4..86ae202ad 100644
--- a/certora/harnesses/GovernorVotesQuorumFractionHarness.sol
+++ b/certora/harnesses/GovernorVotesQuorumFractionHarness.sol
@@ -41,6 +41,7 @@ contract GovernorVotesQuorumFractionHarness is GovernorVotesQuorumFraction {
         // havoc something
     }
 
-    constructor(string memory name) Governor(name) {}
+    constructor(ERC20Votes tokenAddr, string memory name, uint256 quorumNumeratorValue) 
+            GovernorVotesQuorumFraction(quorumNumeratorValue) GovernorVotes(tokenAddr) Governor(name) {}
 
 }
\ No newline at end of file