From 7b717e1e82d49631af55c6a7b164714b9c650ed4 Mon Sep 17 00:00:00 2001
From: Kevin Phoenix <kevin@kphoenix.us>
Date: Wed, 18 Dec 2024 19:56:10 -0700
Subject: [PATCH] Implement __eq__ for UninitializedAnnotation

---
 claripy/annotation.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/claripy/annotation.py b/claripy/annotation.py
index 1fdc345b1..d27f0391e 100644
--- a/claripy/annotation.py
+++ b/claripy/annotation.py
@@ -139,5 +139,8 @@ class UninitializedAnnotation(Annotation):
     def __hash__(self):
         return hash("uninitialized")
 
+    def __eq__(self, other):
+        return isinstance(other, UninitializedAnnotation)
+
     def __repr__(self):
         return "<UninitializedAnnotation>"