summaryrefslogtreecommitdiff
path: root/sphinx/highlighting.py
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2018-10-16 09:57:54 +0900
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2018-10-16 09:57:54 +0900
commite7e07fd69723c02d6b011142f5e97fe2d42bd7d9 (patch)
tree1fe9194dd4115ed070212641ecc46e7d8846d13d /sphinx/highlighting.py
parent25678f391d55a701b7d5f2d2e214db980dcebbd3 (diff)
parentbe2b86cc15a2f5fca1581c25ebf2db9a189dbc41 (diff)
downloadsphinx-git-e7e07fd69723c02d6b011142f5e97fe2d42bd7d9.tar.gz
Merge branch '1.8'
Diffstat (limited to 'sphinx/highlighting.py')
-rw-r--r--sphinx/highlighting.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/highlighting.py b/sphinx/highlighting.py
index 1775f8ddb..e61a891a0 100644
--- a/sphinx/highlighting.py
+++ b/sphinx/highlighting.py
@@ -149,8 +149,8 @@ class PygmentsBridge:
# trim doctest options if wanted
if isinstance(lexer, PythonConsoleLexer) and self.trim_doctest_flags:
- source = doctest.blankline_re.sub('', source) # type: ignore
- source = doctest.doctestopt_re.sub('', source) # type: ignore
+ source = doctest.blankline_re.sub('', source)
+ source = doctest.doctestopt_re.sub('', source)
# highlight via Pygments
formatter = self.get_formatter(**kwargs)