From c23b8fe8318f5ec287545f6aad79fe18635be31f Mon Sep 17 00:00:00 2001 From: Simone Date: Tue, 25 Jul 2023 11:31:43 +0200 Subject: [PATCH] Lint --- slither/printers/guidance/echidna.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/slither/printers/guidance/echidna.py b/slither/printers/guidance/echidna.py index ae89c2580..7255534ed 100644 --- a/slither/printers/guidance/echidna.py +++ b/slither/printers/guidance/echidna.py @@ -33,7 +33,7 @@ from slither.slithir.operations.binary import Binary from slither.slithir.variables import Constant from slither.utils.output import Output from slither.utils.tests_pattern import is_test_contract -from slither.visitors.expression.constants_folding import ConstantFolding +from slither.visitors.expression.constants_folding import ConstantFolding, NotConstant def _get_name(f: Union[Function, Variable]) -> str: