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