diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2019-07-13 05:17:03 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2019-07-13 05:17:03 +0300 |
commit | 9a552a9cd785e979eda3ab2afa3d36777cce833d (patch) | |
tree | 8ceb01a50f36dfafcf49084c9dc712f03b74b5ab /sphinx/ext/todo.py | |
parent | 1d2d295a93db73f9648f016ee7fc0152efdaa9a7 (diff) |
Fix mypy violations (for mypy-0.720)
Diffstat (limited to 'sphinx/ext/todo.py')
-rw-r--r-- | sphinx/ext/todo.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/ext/todo.py b/sphinx/ext/todo.py index 49cd5019e..5da0342f8 100644 --- a/sphinx/ext/todo.py +++ b/sphinx/ext/todo.py @@ -159,7 +159,7 @@ class TodoListProcessor: self.process(doctree, docname) def process(self, doctree: nodes.document, docname: str) -> None: - todos = sum(self.domain.todos.values(), []) + todos = sum(self.domain.todos.values(), []) # type: List[todo_node] for node in doctree.traverse(todolist): if not self.config.todo_include_todos: node.parent.remove(node) @@ -220,7 +220,7 @@ def process_todo_nodes(app: Sphinx, doctree: nodes.document, fromdocname: str) - warnings.warn('process_todo_nodes() is deprecated.', RemovedInSphinx40Warning) domain = cast(TodoDomain, app.env.get_domain('todo')) - todos = sum(domain.todos.values(), []) + todos = sum(domain.todos.values(), []) # type: List[todo_node] for node in doctree.traverse(todolist): if node.get('ids'): |