diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-02-06 06:03:32 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-02-06 09:21:19 +0300 |
commit | 029e9908c0114fe74df5c1cbf3342dd5205bcac5 (patch) | |
tree | 3268a4126c2b09989522f1aae0a576b2413eebe6 /sphinx/search/__init__.py | |
parent | 2e83241486c94cc43e870073e5306b202dbda401 (diff) |
Remove unused "type: ignore"
Diffstat (limited to 'sphinx/search/__init__.py')
-rw-r--r-- | sphinx/search/__init__.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/search/__init__.py b/sphinx/search/__init__.py index aff6aec34..658cf2f70 100644 --- a/sphinx/search/__init__.py +++ b/sphinx/search/__init__.py @@ -315,7 +315,7 @@ class IndexBuilder(object): """Dump the frozen index to a stream.""" if isinstance(format, string_types): format = self.formats[format] # type: ignore - format.dump(self.freeze(), stream) # type: ignore + format.dump(self.freeze(), stream) def get_objects(self, fn2index): # type: (Dict[unicode, int]) -> Dict[unicode, Dict[unicode, Tuple[int, int, int, unicode]]] # NOQA |