diff --git a/certora/specs.js b/certora/specs.js
index 7b1e0a034..3df135200 100644
--- a/certora/specs.js
+++ b/certora/specs.js
@@ -40,7 +40,7 @@ module.exports = [
     files: ['certora/harnesses/InitializableHarness.sol'],
   },
   ...product(
-    ['GovernorBase', 'GovernorInvariants', 'GovernorStates', 'GovernorFunctions'],
+    ['GovernorBase', 'GovernorInvariants', 'GovernorStates', /*'GovernorFunctions'*/],
     ['ERC20VotesBlocknumberHarness', 'ERC20VotesTimestampHarness'],
   ).map(([spec, token]) => ({
     spec,