diff --git a/discopop_explorer/PEGraphX.py b/discopop_explorer/PEGraphX.py index 3ee63a790..5849287e1 100644 --- a/discopop_explorer/PEGraphX.py +++ b/discopop_explorer/PEGraphX.py @@ -212,7 +212,9 @@ def end_position(self) -> LineID: return LineID(f"{self.file_id}:{self.end_line}") def contains_line(self, other_line) -> bool: - if other_line == "GlobalVar": + if other_line == "GlobalVar" or other_line == "LineNotFound": + return False + if not ":" in other_line: return False other_file_id = int(other_line.split(":")[0]) other_line_num = int(other_line.split(":")[1])