From ecec8a735341559348768aa184e94500206d65ef Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Sat, 18 Mar 2023 09:35:41 +0100
Subject: [PATCH] codespell

---
 certora/specs/GovernorBaseRules.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/specs/GovernorBaseRules.spec b/certora/specs/GovernorBaseRules.spec
index cac8da2a3..ef5be8823 100644
--- a/certora/specs/GovernorBaseRules.spec
+++ b/certora/specs/GovernorBaseRules.spec
@@ -80,7 +80,7 @@ rule againstVotesDontCountTowardsQuorum(uint256 pId, env e)
     assert quorumReached(pId) == quorumReachedBefore, "quorum must not be reached with an against vote";
 }
 
-/// This version is more exaustive, but to slow because "quorumReached" is a FV nightmare
+/// This version is more exhaustive, but to slow because "quorumReached" is a FV nightmare
 // rule againstVotesDontCountTowardsQuorum(uint256 pId, env e, method f)
 //     filtered { f -> voting(f) }
 // {