From a2960e22b9a5357cc9d8082beda6b23505254c8f Mon Sep 17 00:00:00 2001
From: Michael M <91594326+MichaelMorami@users.noreply.github.com>
Date: Thu, 4 Nov 2021 12:35:37 +0200
Subject: [PATCH] hooks fixed

---
 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 ae7d0a073..b54f8c0e8 100644
--- a/certora/specs/GovernorBase.spec
+++ b/certora/specs/GovernorBase.spec
@@ -82,7 +82,7 @@ rule sanityCheckVoteEnd(method f, uint256 pId) {
 //////////////////////////////////////////////////////////////////////////////
 ////////////////////////////// INVARIANTS ////////////////////////////////////
 //////////////////////////////////////////////////////////////////////////////
-// 
+//
 
 /**
  * A proposal cannot end unless it started.