fix: minor

discopop-project · Aug 21, 2024 · 7eb0b05 · 7eb0b05
1 parent 3872b4f
commit 7eb0b05
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/discopop_library/LineMapping/diff_modifications.py b/discopop_library/LineMapping/diff_modifications.py
@@ -50,7 +50,13 @@ def apply_line_mapping_modifications_from_diff(file_id: int, diff: str) -> None:
     # get cleaned diff
     cleaned_diff: List[str] = []
     for line in diff.split("\n"):
-        if line.startswith("<") or line.startswith(">") or line.startswith("-") or len(line) == 0:
+        if (
+            line.startswith("<")
+            or line.startswith(">")
+            or line.startswith("-")
+            or line.startswith("\\")
+            or len(line) == 0
+        ):
             continue
         line = line.replace("\n", "")
         cleaned_diff.append(line)