From b65259cd29b597bc39062bbbabf6e3ed93cc1d1d Mon Sep 17 00:00:00 2001
From: 0xDiscotech <131301107+0xDiscotech@users.noreply.github.com>
Date: Thu, 15 Aug 2024 18:56:05 -0300
Subject: [PATCH] chore: update property

---
 packages/contracts-bedrock/test/invariants/PROPERTIES.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/contracts-bedrock/test/invariants/PROPERTIES.md b/packages/contracts-bedrock/test/invariants/PROPERTIES.md
index 1d29f97eafa3..5a5cc71d73b5 100644
--- a/packages/contracts-bedrock/test/invariants/PROPERTIES.md
+++ b/packages/contracts-bedrock/test/invariants/PROPERTIES.md
@@ -24,7 +24,7 @@ legend:
 | id  | description                                                                                | halmos  | medusa |
 | --- | ------------------------------------------------------------------------------------------ | ------- | ------ |
 | 6   | calls to sendERC20 succeed as long as caller has enough balance                            | [x]     | [ ]    |
-| 7   | calls to relayERC20 always succeed as long as the sender and cross-domain caller are valid | **[x]** | [ ]    |
+| 7   | calls to relayERC20 always succeed as long as the sender and cross-domain caller are valid | **[~]** | [ ]    |
 
 ## Variable transition