remove unused slither annotation

Signed-off-by: Jun Kimura <[email protected]>
hyperledger-labs · Jul 12, 2024 · 3684048 · 3684048
1 parent 176b692
commit 3684048
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/contracts/core/04-channel/IBCChannelUpgrade.sol b/contracts/core/04-channel/IBCChannelUpgrade.sol
@@ -320,7 +320,6 @@ abstract contract IBCChannelUpgradeBase is
                 counterpartyChannel
             );
         }
-        // slither-disable-next-line reentrancy-no-eth
         verifyMembership(
             connection,
             proofs.proofHeight,