Remove unique_name global (#559)

angr · Nov 1, 2024 · 8662617 · 8662617
1 parent 798c07c
commit 8662617
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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