From ca034ab3df35c5d215c31a6e62cb44b7571f6f9d Mon Sep 17 00:00:00 2001
From: teryanarmen <teryanarmen@gmail.com>
Date: Tue, 7 Jun 2022 17:20:50 -0700
Subject: [PATCH] Deleted unused method from GovPreventLateQuorum

---
 certora/specs/GovernorPreventLateQuorum.spec | 2 --
 1 file changed, 2 deletions(-)

diff --git a/certora/specs/GovernorPreventLateQuorum.spec b/certora/specs/GovernorPreventLateQuorum.spec
index f6d3e1718..861e57ae8 100644
--- a/certora/specs/GovernorPreventLateQuorum.spec
+++ b/certora/specs/GovernorPreventLateQuorum.spec
@@ -25,8 +25,6 @@ methods {
     hashOperationBatch(address[], uint256[], bytes[], bytes32, bytes32) => DISPATCHER(true)
     executeBatch(address[], uint256[], bytes[], bytes32, bytes32) => CONSTANT
     scheduleBatch(address[], uint256[], bytes[], bytes32, bytes32, uint256) => CONSTANT
-    // checkpoint length ERC721
-    numCheckpoints(address) returns uint32
 }