Skip to content

Commit b5fb124

Browse files
committed
change getitem to only support substitute
1 parent ddaaf7f commit b5fb124

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

aiger/aig.py

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -81,9 +81,7 @@ def __repr__(self):
8181
return repr(self._to_aag())
8282

8383
def __getitem__(self, others):
84-
if not isinstance(others, tuple):
85-
return super().__getitem__(others)
86-
84+
assert isinstance(others, tuple) and len(others) == 2
8785
kind, relabels = others
8886
assert kind in {'i', 'o', 'l'}
8987

0 commit comments

Comments
 (0)