From 32ab301c9d27ebe17dfdef5c3b8b71902b7e5582 Mon Sep 17 00:00:00 2001
From: Michael M <91594326+MichaelMorami@users.noreply.github.com>
Date: Thu, 4 Nov 2021 11:48:55 +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 b54f8c0e8..ae7d0a073 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.