From 7c4a2ba329d868a4193e0cdca4f1e99acd1cce37 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 14 Mar 2020 20:19:26 +0530 Subject: [PATCH] Fix #2434 --- kittens/hints/main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kittens/hints/main.py b/kittens/hints/main.py index 4520c9657..3a57907d1 100644 --- a/kittens/hints/main.py +++ b/kittens/hints/main.py @@ -36,7 +36,7 @@ def kitty_common_opts() -> 'KittyCommonOpts': import json v = os.environ.get('KITTY_COMMON_OPTS') if v: - return cast(KittyCommonOpts, json.loads(v)) + return cast('KittyCommonOpts', json.loads(v)) from kitty.config import common_opts_as_dict return common_opts_as_dict()