From 85855b8cc7af95fa6c532a9787bf2b4315863e67 Mon Sep 17 00:00:00 2001
From: Aleksander Kryukov <58052996+RedLikeRosesss@users.noreply.github.com>
Date: Tue, 9 Nov 2021 21:09:54 +0200
Subject: [PATCH] FixedTypoInEnvfreeWord

---
 certora/specs/GovernorCountingSimple.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/specs/GovernorCountingSimple.spec b/certora/specs/GovernorCountingSimple.spec
index 197dae1c0..d3094896f 100644
--- 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