fix: offset number of removed lines in case of multiple lines

discopop-project · Nov 15, 2023 · 39092b3 · 39092b3
1 parent 1ae36ea
commit 39092b3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/discopop_library/LineMapping/diff_modifications.py b/discopop_library/LineMapping/diff_modifications.py
@@ -89,7 +89,7 @@ def apply_line_mapping_modifications_from_diff(file_id: int, diff: str):
             lhs = diff_entry[: diff_entry.index("d")]
             if "," in lhs:
                 base_line = int(lhs.split(",")[0])
-                deleted_lines_count = int(lhs.split(",")[1]) - int(lhs.split(",")[0])
+                deleted_lines_count = int(lhs.split(",")[1]) - int(lhs.split(",")[0]) + 1
             else:
                 base_line = int(lhs)
                 deleted_lines_count = 1
@@ -106,7 +106,7 @@ def apply_line_mapping_modifications_from_diff(file_id: int, diff: str):
             lhs = diff_entry[: diff_entry.index("c")]
             if "," in lhs:
                 base_line = int(lhs.split(",")[0])
-                deleted_lines_count = int(lhs.split(",")[1]) - int(lhs.split(",")[0])
+                deleted_lines_count = int(lhs.split(",")[1]) - int(lhs.split(",")[0]) + 1
             else:
                 base_line = int(lhs)
                 deleted_lines_count = 1