From 0032eb6719ad522271d6138ea26e90a379a8d651 Mon Sep 17 00:00:00 2001
From: 0xDiscotech <131301107+0xDiscotech@users.noreply.github.com>
Date: Thu, 15 Aug 2024 19:23:51 -0300
Subject: [PATCH] chore: remove 0 property natspec

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

diff --git a/packages/contracts-bedrock/test/properties/symbolic/OptimismSuperchainERC20.t.sol b/packages/contracts-bedrock/test/properties/symbolic/OptimismSuperchainERC20.t.sol
index bf1deeb300c0..635345d2dac8 100644
--- a/packages/contracts-bedrock/test/properties/symbolic/OptimismSuperchainERC20.t.sol
+++ b/packages/contracts-bedrock/test/properties/symbolic/OptimismSuperchainERC20.t.sol
@@ -35,7 +35,6 @@ contract SymTest_OptimismSuperchainERC20 is SymTest, AdvancedTest {
         // into account when etching on halmos. Setting a constant slot with setters and getters didn't work neither.
     }
 
-    /// @custom:property-id 0
     /// @custom:property Check setup works as expected
     function check_setup() public view {
         assert(optimismSuperchainERC20.remoteToken() == remoteToken);