From 1f7cf5095ae3845b4198dcbd7ee4713b8d46de7a Mon Sep 17 00:00:00 2001 From: Jakob Lykke Andersen Date: Sat, 18 Sep 2021 15:36:59 +0200 Subject: [PATCH] search, type fix --- sphinx/search/__init__.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sphinx/search/__init__.py b/sphinx/search/__init__.py index d3059b6da37..3c7dce8950c 100644 --- a/sphinx/search/__init__.py +++ b/sphinx/search/__init__.py @@ -304,8 +304,8 @@ def dump(self, stream: IO, format: Any) -> None: format.dump(self.freeze(), stream) def get_objects(self, fn2index: Dict[str, int] - ) -> Dict[str, Dict[str, Tuple[int, int, int, str]]]: - rv: Dict[str, Dict[str, Tuple[int, int, int, str]]] = {} + ) -> Dict[str, List[Tuple[int, int, int, str, str]]]: + rv: Dict[str, List[Tuple[int, int, int, str, str]]] = {} otypes = self._objtypes onames = self._objnames for domainname, domain in sorted(self.env.domains.items()):