From 3abc77819f00703436f9b7a6d1ec263fbceb4859 Mon Sep 17 00:00:00 2001
From: "pre-commit-ci[bot]"
 <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Date: Mon, 13 Jan 2025 12:40:05 -0700
Subject: [PATCH] [pre-commit.ci] pre-commit autoupdate (#587)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* [pre-commit.ci] pre-commit autoupdate

updates:
- [github.com/astral-sh/ruff-pre-commit: v0.8.6 → v0.9.1](https://github.com/astral-sh/ruff-pre-commit/compare/v0.8.6...v0.9.1)

* Fix lint

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Co-authored-by: Kevin Phoenix <kevin@kphoenix.us>
---
 .pre-commit-config.yaml                           | 2 +-
 claripy/frontend/mixin/constraint_filter_mixin.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index 5e21def6b..1d9551083 100644
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -94,6 +94,6 @@ repos:
     -   id: check-docstring-first
 
 -   repo: https://github.com/astral-sh/ruff-pre-commit
-    rev: v0.8.6
+    rev: v0.9.1
     hooks:
     - id: ruff
diff --git a/claripy/frontend/mixin/constraint_filter_mixin.py b/claripy/frontend/mixin/constraint_filter_mixin.py
index c19723c84..116639509 100644
--- a/claripy/frontend/mixin/constraint_filter_mixin.py
+++ b/claripy/frontend/mixin/constraint_filter_mixin.py
@@ -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: