From 82bbdb2c648b5c9787f948e5da8d54b02f89f543 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Wed, 15 Mar 2023 21:30:51 +0100
Subject: [PATCH] codespell

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

diff --git a/certora/specs.js b/certora/specs.js
index 95640578a..81f83aa60 100644
--- a/certora/specs.js
+++ b/certora/specs.js
@@ -49,7 +49,7 @@ module.exports = [].concat(
     files: ['certora/harnesses/TimelockControllerHarness.sol'],
     options: ['--optimistic_hashing', '--optimistic_loop'],
   },
-  // Govenor
+  // Governor
   product(
     [
       ...product(['GovernorHarness'], ['GovernorInvariants', 'GovernorBaseRules', 'GovernorChanges', 'GovernorStates']),