diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2019-07-13 04:55:13 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2019-07-13 04:55:13 +0300 |
commit | fd74594f5337b2f28ab40521d255958c14ca6ef6 (patch) | |
tree | 3daa13f8f775b1ee3e298ab7e8236cf96e672520 /sphinx/roles.py | |
parent | f443fb5579d64340b87c595e9cd87895bbc90f65 (diff) |
Fix mypy violations (for mypy-0.720)
Diffstat (limited to 'sphinx/roles.py')
-rw-r--r-- | sphinx/roles.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/roles.py b/sphinx/roles.py index 1a2daa36a..1b80e1ec3 100644 --- a/sphinx/roles.py +++ b/sphinx/roles.py @@ -400,7 +400,7 @@ class GUILabel(SphinxRole): class MenuSelection(GUILabel): def run(self): # type: () -> Tuple[List[nodes.Node], List[nodes.system_message]] - self.text = self.text.replace('-->', '\N{TRIANGULAR BULLET}') # type: ignore + self.text = self.text.replace('-->', '\N{TRIANGULAR BULLET}') return super().run() |