From 6ac85d8d150f34de1a6d13598939811ca4aa6158 Mon Sep 17 00:00:00 2001
From: Aleksander Kryukov <firealexkryukov@gmail.com>
Date: Tue, 9 Nov 2021 15:16:44 +0200
Subject: [PATCH] RemovedInsertedBugForSumRule

---
 certora/specs/GovernorBase.spec                            | 2 +-
 contracts/governance/extensions/GovernorCountingSimple.sol | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/certora/specs/GovernorBase.spec b/certora/specs/GovernorBase.spec
index dad38fc48..5b24bae2c 100644
--- a/certora/specs/GovernorBase.spec
+++ b/certora/specs/GovernorBase.spec
@@ -147,7 +147,7 @@ rule immutableFieldsAfterProposalCreation(uint256 pId, method f) {
 }
 
 /**
-* Check if it's possible to vote two time. Relevant to GovernorCountingSimpleHarness.sol contract
+* A user cannot vote twice
 */
 rule doubleVoting(uint256 pId, uint8 sup) {
     env e;
diff --git a/contracts/governance/extensions/GovernorCountingSimple.sol b/contracts/governance/extensions/GovernorCountingSimple.sol
index fae6b5c5b..00f4d4aa8 100644
--- a/contracts/governance/extensions/GovernorCountingSimple.sol
+++ b/contracts/governance/extensions/GovernorCountingSimple.sol
@@ -97,7 +97,7 @@ abstract contract GovernorCountingSimple is Governor {
         } else if (support == uint8(VoteType.For)) {
             proposalvote.forVotes += weight;
         } else if (support == uint8(VoteType.Abstain)) {
-     //       proposalvote.abstainVotes += weight;
+            proposalvote.abstainVotes += weight;
         } else {
             revert("GovernorVotingSimple: invalid value for enum VoteType");
         }