diff options
Diffstat (limited to 'sphinx/ext/imgmath.py')
-rw-r--r-- | sphinx/ext/imgmath.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/ext/imgmath.py b/sphinx/ext/imgmath.py index 593835554..18f04a095 100644 --- a/sphinx/ext/imgmath.py +++ b/sphinx/ext/imgmath.py @@ -190,7 +190,7 @@ def convert_dvi_to_png(dvipath, builder): depth = None if builder.config.imgmath_use_preview: for line in stdout.splitlines(): - matched = depth_re.match(line) # type: ignore + matched = depth_re.match(line) if matched: depth = int(matched.group(1)) write_png_depth(filename, depth) |