From 6bc682fd78a9fbf621aa827faf82130a8506c57d Mon Sep 17 00:00:00 2001
From: "pre-commit-ci[bot]"
 <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Date: Sun, 24 Nov 2024 16:01:53 +0000
Subject: [PATCH] =?UTF-8?q?=F0=9F=8E=A8=20pre-commit=20fixes?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/mqt/qao/karp/karp_number.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/mqt/qao/karp/karp_number.py b/src/mqt/qao/karp/karp_number.py
index 9ed1ab6..e30cdc8 100644
--- a/src/mqt/qao/karp/karp_number.py
+++ b/src/mqt/qao/karp/karp_number.py
@@ -9,7 +9,7 @@
 from collections import defaultdict
 from functools import partial
 from pathlib import Path
-from typing import TYPE_CHECKING, Any, Literal, Union
+from typing import TYPE_CHECKING, Any, Literal
 
 import matplotlib.pyplot as plt
 import networkx as nx
@@ -209,7 +209,7 @@ def three_sat(
         solver_method: Callable[..., Any] | None = None,
         read_solution: Literal["print", "file"] | None = None,
         solver_params: dict[str, Any] | None = None,
-    ) -> Problem | dict[str, float] | Union[Problem, list[int]]:
+    ) -> Problem | dict[str, float] | list[int]:
         """Initializes and optionally solves the 3-SAT (Satisfiability) problem.
 
         Args: