From ccd15c20cdb44ed32b707f44e3f720b159da2f0b Mon Sep 17 00:00:00 2001
From: Martin Fischer <martin@push-f.com>
Date: Wed, 23 Feb 2022 17:19:42 +0100
Subject: clarify what the red background means

---
 check_checkers.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'check_checkers.py')

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>'''
     )
 
-- 
cgit v1.2.3