From 570c1eb56a1f5bcc90f196786a5d3e3222f5ed0f Mon Sep 17 00:00:00 2001 From: Anthony Shoumikhin Date: Thu, 27 Feb 2025 16:37:18 -0800 Subject: [PATCH] Fix linter in print_exported_headers.py --- build/print_exported_headers.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/print_exported_headers.py b/build/print_exported_headers.py index dc0102ff00b..31f70fb9ba7 100755 --- a/build/print_exported_headers.py +++ b/build/print_exported_headers.py @@ -39,7 +39,7 @@ def query(buck2: str, target: str, attribute: str) -> str: # Cache to store results for exported headers per target. -_exported_headers_cache = {} +_exported_headers_cache: dict[str, Set[str]] = {} def exported_headers(buck2: str, target: str) -> Set[str]: