From ba114e06d900c5bc73353a75526e5194a70d23ad Mon Sep 17 00:00:00 2001
From: Kevin Phoenix <kevin@kphoenix.us>
Date: Thu, 2 Jan 2025 15:00:36 -0700
Subject: [PATCH] Export annotation and UninitializedAnnotation from claripy
 (#584)

---
 claripy/__init__.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/claripy/__init__.py b/claripy/__init__.py
index 484794451..30fc4e3e9 100644
--- a/claripy/__init__.py
+++ b/claripy/__init__.py
@@ -1,8 +1,8 @@
 from __future__ import annotations
 
-from claripy import algorithm, ast, backends
+from claripy import algorithm, annotation, ast, backends
 from claripy.algorithm import burrow_ite, excavate_ite, is_false, is_true, replace, replace_dict, simplify
-from claripy.annotation import Annotation, RegionAnnotation, SimplificationAvoidanceAnnotation
+from claripy.annotation import Annotation, RegionAnnotation, SimplificationAvoidanceAnnotation, UninitializedAnnotation
 from claripy.ast.bool import (
     And,
     BoolS,
@@ -172,10 +172,12 @@
     "StrToInt",
     "StringS",
     "StringV",
+    "UninitializedAnnotation",
     "UnsatError",
     "ValueSet",
     "ZeroExt",
     "algorithm",
+    "annotation",
     "ast",
     "backends",
     "burrow_ite",