Fix anchor on docs link for using a dev build (python#7043)

paroma · Jun 22, 2019 · 95ac93f · 95ac93f
1 parent 48916e6
commit 95ac93f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mypy/errors.py b/mypy/errors.py
@@ -616,7 +616,7 @@ def report_internal_error(err: Exception,
     # Print "INTERNAL ERROR" message.
     print('{}error: INTERNAL ERROR --'.format(prefix),
           'Please try using mypy master on Github:\n'
-          'https://mypy.rtfd.io/en/latest/common_issues.html#using-development-mypy-build',
+          'https://mypy.rtfd.io/en/latest/common_issues.html#using-a-development-mypy-build',
           file=stderr)
     if options.show_traceback:
         print('Please report a bug at https://github.com/python/mypy/issues',