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.