From 3253801a31c0b52954e36478e9e171c273bd26cc Mon Sep 17 00:00:00 2001 From: Josselin Date: Thu, 30 May 2019 13:30:36 +0100 Subject: [PATCH] source_mapping: minor --- slither/core/source_mapping/source_mapping.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/slither/core/source_mapping/source_mapping.py b/slither/core/source_mapping/source_mapping.py index 7ea17a99b..9217b12fc 100644 --- a/slither/core/source_mapping/source_mapping.py +++ b/slither/core/source_mapping/source_mapping.py @@ -88,7 +88,7 @@ class SourceMapping(Context): filename_relative = filenames.relative filename_short = filenames.short - is_dependency = any(slither.crytic_compile.is_dependency(f) for f in filenames) + is_dependency = slither.crytic_compile.is_dependency(filename_absolute) if filename_absolute in slither.source_code: filename = filename_absolute