From 87891c8435498cf6a85ed69ece091039990ce3d1 Mon Sep 17 00:00:00 2001
From: teddy <teddy@defi.sucks>
Date: Thu, 22 Aug 2024 21:17:33 -0300
Subject: [PATCH] test: not-yet-deployed supertokens can get funds sent to them

---
 .../test/properties/medusa/Protocol.properties.t.sol             | 1 -
 1 file changed, 1 deletion(-)

diff --git a/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol b/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol
index 8fbe22700ebd1..927e463e1cc52 100644
--- a/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol
+++ b/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol
@@ -117,7 +117,6 @@ contract ProtocolProperties is ProtocolHandler, CryticERC20ExternalBasicProperti
         OptimismSuperchainERC20 sourceToken = OptimismSuperchainERC20(allSuperTokens[fromIndex]);
         OptimismSuperchainERC20 destinationToken =
             MESSENGER.crossChainMessageReceiver(address(sourceToken), destinationChainId);
-        require(address(destinationToken) != address(0));
         uint256 sourceBalanceBefore = sourceToken.balanceOf(currentActor());
         uint256 sourceSupplyBefore = sourceToken.totalSupply();
         uint256 destinationBalanceBefore = destinationToken.balanceOf(recipient);