From 5267eaac81b7b2e31633b871ee507243d7270587 Mon Sep 17 00:00:00 2001
From: Michael M <91594326+MichaelMorami@users.noreply.github.com>
Date: Wed, 10 Nov 2021 15:07:34 +0200
Subject: [PATCH] Changed deltaWeight type from uint to uin256

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

diff --git a/certora/harnesses/GovernorBasicHarness.sol b/certora/harnesses/GovernorBasicHarness.sol
index 57cd3c58c..6a36475d4 100644
--- a/certora/harnesses/GovernorBasicHarness.sol
+++ b/certora/harnesses/GovernorBasicHarness.sol
@@ -51,7 +51,7 @@ contract GovernorBasicHarness is Governor, GovernorCountingSimple, GovernorVotes
         string memory reason
     ) internal override virtual returns (uint256) {
         
-        uint deltaWeight = super._castVote(proposalId, account, support, reason);  //HARNESS
+        uint256 deltaWeight = super._castVote(proposalId, account, support, reason);  //HARNESS
         ghost_sum_vote_power_by_id[proposalId] += deltaWeight;
 
         return deltaWeight;