Skip to content

Commit

Permalink
Fix lint
Browse files Browse the repository at this point in the history
  • Loading branch information
twizmwazin committed Jan 13, 2025
1 parent 01eaf33 commit 51318d4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion claripy/frontend/mixin/constraint_filter_mixin.py
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ def _constraint_filter(self, constraints):
ccs = [self._concrete_constraint(c) for c in constraints]
if False in ccs:
raise UnsatError("Constraints contain False.")
return tuple((o if n is None else o) for o, n in zip(constraints, ccs, strict=False) if n is not True)
return tuple(o for o, n in zip(constraints, ccs, strict=False) if n is not True)

def _add(self, constraints, invalidate_cache=True):
try:
Expand Down

0 comments on commit 51318d4

Please sign in to comment.