update use of token

0xb337r007 · 0xb337r007 · commit 11dac55f8cfa · 2024-06-07T13:53:21.000+02:00
diff --git a/certora/harness/MarketplaceHarness.sol b/certora/harness/MarketplaceHarness.sol
@@ -20,6 +20,6 @@ contract MarketplaceHarness is Marketplace {
     }
 
     function tokenBalance() public view returns (uint256) {
-        return token.balanceOf(address(this));
+        return token().balanceOf(address(this));
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -20,6 +20,6 @@ contract MarketplaceHarness is Marketplace {`
`20`	`20`	`}`
`21`	`21`
`22`	`22`	`function tokenBalance() public view returns (uint256) {`
`23`		`- return token.balanceOf(address(this));`
	`23`	`+ return token().balanceOf(address(this));`
`24`	`24`	`}`
`25`	`25`	`}`