diff --git a/certora/specs/GovernorBase.spec b/certora/specs/GovernorBase.spec
index 18863c4dc..d183536c7 100644
--- a/certora/specs/GovernorBase.spec
+++ b/certora/specs/GovernorBase.spec
@@ -24,7 +24,7 @@ methods {
     _pId_Harness() returns uint256 envfree;
 
     // function summarization
-    hashProposal(address[], uint256[], bytes[], bytes32) => CONSTANT
+    // hashProposal(address[], uint256[], bytes[], bytes32) => CONSTANT
     proposalThreshold() returns uint256 envfree
 
     getVotes(address, uint256) returns uint256 => DISPATCHER(true)