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 ""