From e740664abae6cebbbcdbf6bd0734643577c49eb4 Mon Sep 17 00:00:00 2001 From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com> Date: Thu, 7 Oct 2021 15:17:32 +0200 Subject: [PATCH] Update erc20.py --- slither/tools/properties/properties/erc20.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/slither/tools/properties/properties/erc20.py b/slither/tools/properties/properties/erc20.py index 93e820c33..9b8747f69 100644 --- a/slither/tools/properties/properties/erc20.py +++ b/slither/tools/properties/properties/erc20.py @@ -9,7 +9,10 @@ from crytic_compile.platform import Type as PlatformType from slither.core.declarations import Contract from slither.tools.properties.addresses.address import Addresses from slither.tools.properties.platforms.echidna import generate_echidna_config -from slither.tools.properties.properties.ercs.erc20.properties.burn import ERC20_NotBurnable, ERC20_Burnable +from slither.tools.properties.properties.ercs.erc20.properties.burn import ( + ERC20_NotBurnable, + ERC20_Burnable, +) from slither.tools.properties.properties.ercs.erc20.properties.initialization import ERC20_CONFIG from slither.tools.properties.properties.ercs.erc20.properties.mint import ERC20_NotMintable from slither.tools.properties.properties.ercs.erc20.properties.mint_and_burn import (