diff options
Diffstat (limited to 'check_checkers.py')
-rwxr-xr-x | check_checkers.py | 2 |
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>''' ) |