From 68a6b59f41d6210a27f60febd4cb64002114fb4d Mon Sep 17 00:00:00 2001 From: "Dr. GoNoGo" <83670532+drgorillamd@users.noreply.github.com> Date: Sat, 20 Jul 2024 21:09:39 +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 69c6b360..7a603ed5 100644 --- 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()));