From dad41154ac91cd1d32fc9b9309c14974870db4ee Mon Sep 17 00:00:00 2001
From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com>
Date: Thu, 7 Oct 2021 14:55:07 +0200
Subject: [PATCH] Fixed ERC20 burnable to use the correct properties

---
 slither/tools/properties/properties/erc20.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/slither/tools/properties/properties/erc20.py b/slither/tools/properties/properties/erc20.py
index dd13e3a0f..f8238f93b 100644
--- a/slither/tools/properties/properties/erc20.py
+++ b/slither/tools/properties/properties/erc20.py
@@ -9,7 +9,7 @@ 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
+from slither.tools.properties.properties.ercs.erc20.properties.burn import ERC20_NotBurnable, ERC20_NotBurnable
 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 (
@@ -44,7 +44,7 @@ ERC20_PROPERTIES = {
     ),
     "NotBurnable": PropertyDescription(ERC20_NotBurnable, "Test that no one can burn tokens"),
     "Burnable": PropertyDescription(
-        ERC20_NotBurnable,
+        ERC20_Burnable,
         'Test the burn of tokens. Require the "burn(address) returns()" function',
     ),
 }