From 1450d602bfe3872833acea77dfcbff68e142be2a Mon Sep 17 00:00:00 2001 From: Josselin Date: Tue, 10 Sep 2019 13:15:21 +0200 Subject: [PATCH] Minor --- setup.py | 2 +- slither/tools/slither_format/slither_format.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/setup.py b/setup.py index 921510d17..d385d97df 100644 --- a/setup.py +++ b/setup.py @@ -16,7 +16,7 @@ setup( 'slither = slither.__main__:main', 'slither-check-upgradeability = slither.tools.upgradeability.__main__:main', 'slither-find-paths = slither.tools.possible_paths.__main__:main', - 'slither-simil = slither.tools.similarity.__main__:main' + 'slither-simil = slither.tools.similarity.__main__:main', 'slither-format = slither.tools.slither_format.__main__:main' ] } diff --git a/slither/tools/slither_format/slither_format.py b/slither/tools/slither_format/slither_format.py index 1e024e774..fe97ed82c 100644 --- a/slither/tools/slither_format/slither_format.py +++ b/slither/tools/slither_format/slither_format.py @@ -131,7 +131,7 @@ def apply_detector_results(slither, detector_results): else: raise FormatError(result['check'] + "detector not supported yet.") except FormatImpossible as e: - logger.info(f'Impossible to patch:\n{result["description"]}\nReason: {e}') + logger.info(f'\nImpossible to patch:\n\t{result["description"]}\t{e}') # endregion