From 988992bc744132a6fce077d6c8475c6c3115be3f Mon Sep 17 00:00:00 2001
From: Christoph Stahl <christoph.stahl@tu-dortmund.de>
Date: Thu, 12 Jun 2025 02:30:41 +0200
Subject: [PATCH] Ruff got confused

---
 syng/gui.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/syng/gui.py b/syng/gui.py
index 96064ef..1c71bad 100644
--- a/syng/gui.py
+++ b/syng/gui.py
@@ -11,7 +11,7 @@ from datetime import datetime
 import os
 from functools import partial
 import random
-from typing import TYPE_CHECKING, Any, Optional
+from typing import TYPE_CHECKING, Any, Optional, cast
 import secrets
 import string
 import signal