Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2018-10-15 20:17:32 +0300
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2018-10-16 03:43:58 +0300
commita77f3519fa11793f939e4a28947e57df9afde793 (patch)
tree07ace712b6137c3a878ff6ab309bbefbd35397dc /sphinx/highlighting.py
parent8c56fd87479291e2e6b901d3ed44e889d27801da (diff)
Fix mypy violations
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 b344dc16b..21e3420ba 100644
--- a/sphinx/highlighting.py
+++ b/sphinx/highlighting.py
@@ -149,8 +149,8 @@ class PygmentsBridge(object):
# 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)