diff --git a/claripy/ast/base.py b/claripy/ast/base.py index 7224d325f..798fe0f2b 100644 --- a/claripy/ast/base.py +++ b/claripy/ast/base.py @@ -3,6 +3,7 @@ import itertools import logging import math +import pickle import struct from collections import deque from contextlib import suppress @@ -25,11 +26,6 @@ from claripy import Backend from claripy.annotation import Annotation -try: - import _pickle as pickle -except ImportError: - import pickle - l = logging.getLogger("claripy.ast") blake2b_unpacker = struct.Struct("Q")