PreciseDiff: Remove pseudo code view when unloading.

angr · Jan 17, 2025 · 6ccf9bc · 6ccf9bc
1 parent 80e771a
commit 6ccf9bc
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/angrmanagement/plugins/precise_diffing/precisediff_plugin.py b/angrmanagement/plugins/precise_diffing/precisediff_plugin.py
@@ -266,6 +266,10 @@ def _destroy_revised_view(self) -> None:
             self.workspace.remove_view(self.current_revised_view)
             del self.current_revised_view
 
+        if self.current_revised_code:
+            self.workspace.remove_view(self.current_revised_code)
+            del self.current_revised_code
+
         self._differing_funcs = set()
         if self.diff_instance:
             del self.diff_instance