Skip to content

Commit

Permalink
inequality replacer fix
Browse files Browse the repository at this point in the history
  • Loading branch information
alex28sh committed Nov 4, 2024
1 parent 6ced845 commit ca17a17
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion verified_cogen/tools/inequality_replacer.py
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
class InequalityReplacer(ast.NodeTransformer):
def visit_Compare(self, node: Compare):
if len(node.comparators) > 1:
new_nodes: List[Compare] = []
new_nodes: List[expr] = []
left: expr = node.left
left = self.visit(left)
for op, right in zip(node.ops, node.comparators):
Expand Down

0 comments on commit ca17a17

Please sign in to comment.