Lint

1 year ago · c23b8fe831
parent 6acab7bbfc
commit c23b8fe831
1 changed files with 1 additions and 1 deletions
--- 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: