chore: typo

Co-authored-by: Weißer Hase <[email protected]>
defi-wonderland · Jul 20, 2024 · 68a6b59 · 68a6b59
1 parent 462c38e
commit 68a6b59
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
@@ -113,7 +113,6 @@ contract HalmosBalancer is HalmosTest {
   /// @custom:property-id 7
   /// @custom:property total weight can be up to 50e18
   /// @dev Only 2 tokens are used, to avoid hitting the limit in loop unrolling
-
   function check_totalWeightMax(uint256[2] calldata _weights) public {
     // Precondition
     BCoWPool _pool = BCoWPool(address(factory.newBPool()));