From c0d6d173c14e2735ddf0b2ab81ef00b99fe3b10e Mon Sep 17 00:00:00 2001 From: Dave Pearson Date: Tue, 7 Mar 2023 15:00:37 +0000 Subject: [PATCH] Remove unnecessary cast Became moot after the recent message changes but seems to have got left behind. --- src/textual/widgets/_radio_set.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/textual/widgets/_radio_set.py b/src/textual/widgets/_radio_set.py index 461c77dca..2d1f2e304 100644 --- a/src/textual/widgets/_radio_set.py +++ b/src/textual/widgets/_radio_set.py @@ -2,8 +2,6 @@ from __future__ import annotations -from typing import cast - from ..containers import Container from ..css.query import DOMQuery, QueryError from ..message import Message