GitBross Home Explore Help
Register Sign In
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Browse Source

hooks fixed

Michael M 4 years ago
parent
6323c9a73d
commit
91f8919876
1 changed files with 1 additions and 1 deletions
Unified View Show Diff Stats
  1. 1 1
      certora/specs/GovernorBase.spec

+ 1 - 1
certora/specs/GovernorBase.spec
View File 

@@ -82,7 +82,7 @@ rule sanityCheckVoteEnd(method f, uint256 pId) {
 
 //////////////////////////////////////////////////////////////////////////////
 
 //////////////////////////////////////////////////////////////////////////////
 
 ////////////////////////////// INVARIANTS ////////////////////////////////////
 
 ////////////////////////////// INVARIANTS ////////////////////////////////////
 
 //////////////////////////////////////////////////////////////////////////////
 
 //////////////////////////////////////////////////////////////////////////////
 
-// 
+//
 
 
 
 /**
 
 /**
 
  * A proposal cannot end unless it started.
 
  * A proposal cannot end unless it started.