FixedTypoInEnvfreeWord

3 years ago · 85855b8cc7
parent 6ac85d8d15
commit 85855b8cc7
1 changed files with 1 additions and 1 deletions
--- a/certora/specs/GovernorCountingSimple.spec
+++ b/certora/specs/GovernorCountingSimple.spec
@ -14,7 +14,7 @@ methods {
    castVote(uint256, uint8) returns uint256

    // internal functions made public in harness:
-    _quorumReached(uint256) returns bool envfre
+    _quorumReached(uint256) returns bool envfree
    _voteSucceeded(uint256) returns bool envfree

    // getter for checking the sums