From fdd46179255c60df145bd73ef854c65259bf57d3 Mon Sep 17 00:00:00 2001 From: "Dr. GoNoGo" <83670532+drgorillamd@users.noreply.github.com> Date: Sat, 20 Jul 2024 21:10:07 +0200 Subject: [PATCH] chore: typo MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Weißer Hase --- test/invariants/symbolic/Protocol.t.sol | 1 - 1 file changed, 1 deletion(-) diff --git a/test/invariants/symbolic/Protocol.t.sol b/test/invariants/symbolic/Protocol.t.sol index 7a603ed5..3ac29518 100644 --- a/test/invariants/symbolic/Protocol.t.sol +++ b/test/invariants/symbolic/Protocol.t.sol @@ -162,7 +162,6 @@ contract HalmosBalancer is HalmosTest { } /// @custom:property-id 9 /// @custom:property BToken decreaseApproval should decrease the approval to max(old-amount, 0) - function check_decreaseApproval(uint256 _approvalToLower, address _owner, address _spender) public { // Precondition uint256 _approvalBefore = pool.allowance(_owner, _spender);