From 9f2a672240e41774dafc8ea4641e00f81aa21a3c Mon Sep 17 00:00:00 2001
From: Michael M <91594326+MichaelMorami@users.noreply.github.com>
Date: Thu, 18 Nov 2021 15:46:56 +0200
Subject: [PATCH] moving updateQuorumNumerator to GovernorBase

---
 certora/specs/GovernorCountingSimple.spec | 1 -
 1 file changed, 1 deletion(-)

diff --git a/certora/specs/GovernorCountingSimple.spec b/certora/specs/GovernorCountingSimple.spec
index c6f47d1da..59475a529 100644
--- a/certora/specs/GovernorCountingSimple.spec
+++ b/certora/specs/GovernorCountingSimple.spec
@@ -12,7 +12,6 @@ methods {
     proposalVotes(uint256) returns (uint256, uint256, uint256) envfree
 
     quorumNumerator() returns uint256
-    updateQuorumNumerator(uint256)
     _executor() returns address
 
     erc20votes._getPastVotes(address, uint256) returns uint256 envfree