From a14abd027668f6dc034935b0d8f1d645499932fb Mon Sep 17 00:00:00 2001
From: Michael M <91594326+MichaelMorami@users.noreply.github.com>
Date: Sat, 20 Nov 2021 02:06:01 +0200
Subject: [PATCH] hashProposal summarization removed

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

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)