Add missing this.totalSupply()

4 years ago · cd95851094
parent be002405db
commit cd95851094
1 changed files with 1 additions and 1 deletions
--- a/slither/tools/properties/properties/ercs/erc20/properties/mint.py
+++ b/slither/tools/properties/properties/ercs/erc20/properties/mint.py
@ -10,7 +10,7 @@ ERC20_NotMintable = [
        name="crytic_supply_constant_ERC20PropertiesNotMintable()",
        description="The total supply does not increase.",
        content="""
-\t\treturn initialTotalSupply >= totalSupply();""",
+\t\treturn initialTotalSupply >= this.totalSupply();""",
        type=PropertyType.MEDIUM_SEVERITY,
        return_type=PropertyReturn.SUCCESS,
        is_unit_test=True,