Updated line number calculation to use splitlines() instead of split('\n').

6 years ago · 8f13315389
parent ad4fc1b510
commit 8f13315389
1 changed files with 2 additions and 2 deletions
--- a/slither/core/source_mapping/source_mapping.py
+++ b/slither/core/source_mapping/source_mapping.py
@ -19,12 +19,12 @@ class SourceMapping(Context):
            Not done in an efficient way
        """
        total_length = len(source_code)
-        source_code = source_code.split('\n')
+        source_code = source_code.splitlines(True)
        counter = 0
        i = 0
        lines = []
        while counter < total_length:
-            counter += len(source_code[i]) +1
+            counter += len(source_code[i])
            i = i+1
            if counter > start:
                lines.append(i)