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)