diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/lint.js | 2 |
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, |