chore: remove todo comment

defi-wonderland · Aug 14, 2024 · 5f125fa · 5f125fa
1 parent c8ccdc7
commit 5f125fa
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/packages/contracts-bedrock/test/invariants/symbolic/OptimismSuperchainERC20.t.sol b/packages/contracts-bedrock/test/invariants/symbolic/OptimismSuperchainERC20.t.sol
@@ -127,7 +127,6 @@ contract OptimismSuperchainERC20_SymTest is HalmosTest {
         }
     }
 
-    // TODO: reverts as expected when the caller is not the messenger, but the test fails. With forge it passes
     /// @custom:property-id 7
     /// @custom:property-id Calls to relayERC20 always succeed as long as the cross-domain caller is valid
     function check_relayERC20OnlyFromL2ToL2Messenger(