|
|
@ -88,9 +88,9 @@ class Flattening: |
|
|
|
:return: |
|
|
|
:return: |
|
|
|
""" |
|
|
|
""" |
|
|
|
src_mapping = contract.source_mapping |
|
|
|
src_mapping = contract.source_mapping |
|
|
|
content = self._slither.source_code[src_mapping["filename_absolute"]] |
|
|
|
content = self._slither.source_code[src_mapping.filename.absolute] |
|
|
|
start = src_mapping["start"] |
|
|
|
start = src_mapping.start |
|
|
|
end = src_mapping["start"] + src_mapping["length"] |
|
|
|
end = src_mapping.start + src_mapping.length |
|
|
|
|
|
|
|
|
|
|
|
to_patch = [] |
|
|
|
to_patch = [] |
|
|
|
# interface must use external |
|
|
|
# interface must use external |
|
|
|