From 8662617b12955abd8c85c7efe48712d1ab765b57 Mon Sep 17 00:00:00 2001 From: Kevin Phoenix Date: Thu, 31 Oct 2024 17:21:14 -0700 Subject: [PATCH] Remove unique_name global (#559) --- claripy/ast/base.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/claripy/ast/base.py b/claripy/ast/base.py index fe862b854..518c3e19c 100644 --- a/claripy/ast/base.py +++ b/claripy/ast/base.py @@ -53,11 +53,10 @@ class ReprLevel(IntEnum): # var_counter = itertools.count() -_unique_names = True def _make_name(name: str, size: int, explicit_name: bool = False, prefix: str = "") -> str: - if _unique_names and not explicit_name: + if not explicit_name: return "%s%s_%d_%d" % (prefix, name, next(var_counter), size) return name