1 files changed, 1 insertions, 1 deletions
diff --git a/tools/lint.js b/tools/lint.js
index 0d7160c3f..8fb57ee1c 100755
--- a/tools/lint.js
+++ b/tools/lint.js
@@ -198,7 +198,7 @@ async function ensureNoNewITests() {
     "bench_tests.rs": 0,
     "cache_tests.rs": 0,
     "cert_tests.rs": 0,
-    "check_tests.rs": 22,
+    "check_tests.rs": 21,
     "compile_tests.rs": 0,
     "coverage_tests.rs": 0,
     "eval_tests.rs": 0,