diff options
Diffstat (limited to 'sphinx/util/nodes.py')
| -rw-r--r-- | sphinx/util/nodes.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/util/nodes.py b/sphinx/util/nodes.py index 7e4dba01e..03e06c416 100644 --- a/sphinx/util/nodes.py +++ b/sphinx/util/nodes.py @@ -287,7 +287,7 @@ def clean_astext(node): def split_explicit_title(text): # type: (unicode) -> Tuple[bool, unicode, unicode] """Split role content into title and target, if given.""" - match = explicit_title_re.match(text) # type: ignore + match = explicit_title_re.match(text) if match: return True, match.group(1), match.group(2) return False, text, text |