From 36631ddc49c7131551ca4e1c8b6eb7602323cc5c Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Thu, 17 Nov 2022 20:25:35 +0530 Subject: [PATCH] ... --- gen-wcwidth.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gen-wcwidth.py b/gen-wcwidth.py index 7e64e9a4f..9fafc712c 100755 --- a/gen-wcwidth.py +++ b/gen-wcwidth.py @@ -45,7 +45,7 @@ def get_data(fname: str, folder: str = 'UCD') -> Iterable[str]: yield line -def unicode_version(): +def unicode_version() -> Tuple[int, int, int]: for line in get_data("ReadMe.txt"): m = re.search(r'Version\s+(\d+)\.(\d+)\.(\d+)', line) if m is not None: