From 6ccf9bc4879893c0e5533a4c2abaad86f4b1647b Mon Sep 17 00:00:00 2001
From: Fish <fish@cs.ucsb.edu>
Date: Thu, 16 Jan 2025 10:41:46 -0700
Subject: [PATCH] PreciseDiff: Remove pseudo code view when unloading.

---
 angrmanagement/plugins/precise_diffing/precisediff_plugin.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/angrmanagement/plugins/precise_diffing/precisediff_plugin.py b/angrmanagement/plugins/precise_diffing/precisediff_plugin.py
index b4f360601..ffa3209ed 100644
--- 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