From 5f125fa481a4da6b1bcbfa052fecf9c38fa0a8e2 Mon Sep 17 00:00:00 2001
From: 0xDiscotech <131301107+0xDiscotech@users.noreply.github.com>
Date: Wed, 14 Aug 2024 02:50:49 -0300
Subject: [PATCH] chore: remove todo comment

---
 .../test/invariants/symbolic/OptimismSuperchainERC20.t.sol       | 1 -
 1 file changed, 1 deletion(-)

diff --git a/packages/contracts-bedrock/test/invariants/symbolic/OptimismSuperchainERC20.t.sol b/packages/contracts-bedrock/test/invariants/symbolic/OptimismSuperchainERC20.t.sol
index c3c5572da2e7..c5c1dac9a9d5 100644
--- 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(