From 6a1c98434b65021d0c56b885e229ebc1dd42ca5f Mon Sep 17 00:00:00 2001 From: Josselin Date: Thu, 8 Nov 2018 12:20:00 +0100 Subject: [PATCH] Improve ConstantPragma output --- slither/detectors/attributes/constant_pragma.py | 1 + 1 file changed, 1 insertion(+) diff --git a/slither/detectors/attributes/constant_pragma.py b/slither/detectors/attributes/constant_pragma.py index 0d96e93e9..efb165d60 100644 --- a/slither/detectors/attributes/constant_pragma.py +++ b/slither/detectors/attributes/constant_pragma.py @@ -25,6 +25,7 @@ class ConstantPragma(AbstractDetector): if len(versions) > 1: info = "Different versions of Solidity is used in {}:\n".format(self.filename) + info += "\t- Version used: {}\n".format([str(v) for v in versions]) for p in pragma: info += "\t- {} declares {}\n".format(p.source_mapping_str, str(p)) self.log(info)