chore: remove 0 property natspec

defi-wonderland · Aug 15, 2024 · 0032eb6 · 0032eb6
1 parent cc66e13
commit 0032eb6
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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);