diff --git a/discopop_library/LineMapping/diff_modifications.py b/discopop_library/LineMapping/diff_modifications.py index 3d9cf6583..8d8ae1b32 100644 --- 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)