chore: typo

Co-authored-by: Weißer Hase <[email protected]>
defi-wonderland · Jul 20, 2024 · fdd4617 · fdd4617
1 parent 68a6b59
commit fdd4617
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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);