From 2ede4df94bb42877789010f7c4971d249cbade88 Mon Sep 17 00:00:00 2001
From: Hannes Weichelt <hweichelt@uni-potsdam.de>
Date: Wed, 5 Jun 2024 20:54:48 +0200
Subject: [PATCH] added back App type

---
 src/clingexplaid/cli/textual_gui.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/clingexplaid/cli/textual_gui.py b/src/clingexplaid/cli/textual_gui.py
index 37e7cf0..91a8fd2 100644
--- a/src/clingexplaid/cli/textual_gui.py
+++ b/src/clingexplaid/cli/textual_gui.py
@@ -346,7 +346,7 @@ def compose(self) -> ComposeResult:
         yield LoadingIndicator()
 
 
-class ClingexplaidTextualApp(App):
+class ClingexplaidTextualApp(App[int]):
     """A textual app for a terminal GUI to use the clingexplaid functionality"""
 
     # pylint: disable=too-many-instance-attributes