diff options
Diffstat (limited to 'python/types.py')
| -rw-r--r-- | python/types.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/types.py b/python/types.py index b4977843..8e374d97 100644 --- a/python/types.py +++ b/python/types.py @@ -2314,7 +2314,7 @@ class NamedTypeReferenceType(Type): if isinstance(t, NamedTypeReferenceType): if t.type_id in type_ids: raise TypeError("Can't get target for recursively defined type") - type_ids += t + type_ids.add(t) return t._target_helper(bv, type_ids) else: return t |