From 7512b8e171cb7780832d722cddb6a72e75aac555 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Wed, 15 Mar 2023 23:23:37 +0100
Subject: [PATCH] missing diff

---
 ...xtensions_GovernorVotesQuorumFraction.sol.patch | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 certora/diff/governance_extensions_GovernorVotesQuorumFraction.sol.patch

diff --git a/certora/diff/governance_extensions_GovernorVotesQuorumFraction.sol.patch b/certora/diff/governance_extensions_GovernorVotesQuorumFraction.sol.patch
new file mode 100644
index 000000000..39a1a0c90
--- /dev/null
+++ b/certora/diff/governance_extensions_GovernorVotesQuorumFraction.sol.patch
@@ -0,0 +1,14 @@
+--- governance/extensions/GovernorVotesQuorumFraction.sol	2023-03-07 10:48:47.733488857 +0100
++++ governance/extensions/GovernorVotesQuorumFraction.sol	2023-03-15 22:51:51.267890807 +0100
+@@ -62,6 +62,11 @@
+         return _quorumNumeratorHistory.upperLookupRecent(timepoint.toUint32());
+     }
+ 
++    // FV
++    function quorumNumeratorLength() public view returns (uint256) {
++        return _quorumNumeratorHistory._checkpoints.length;
++    }
++
+     /**
+      * @dev Returns the quorum denominator. Defaults to 100, but may be overridden.
+      */