summaryrefslogtreecommitdiff
path: root/check_checkers.py
diff options
context:
space:
mode:
Diffstat (limited to 'check_checkers.py')
-rwxr-xr-xcheck_checkers.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/check_checkers.py b/check_checkers.py
index 65d1eec..1a883b3 100755
--- a/check_checkers.py
+++ b/check_checkers.py
@@ -167,7 +167,7 @@ def run(
out.write(
'''<p>This page compares three static type checkers for Python.
The <span class=unexpected>red</span> background indicates that the checker
- outputs an incorrect result (either a false positive or a false negative).
+ fails to detect a type error or reports a false positive.
<a href=/>Back to start page</a>.</p>'''
)