From ff1f648daec037b0bc5c4ce5ff9cdd4989065d85 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Thu, 26 Sep 2024 15:17:06 +0200
Subject: [PATCH] modify test

---
 scripts/autolabel.lean | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/scripts/autolabel.lean b/scripts/autolabel.lean
index 51c5311cf95f7..d32d355bfc541 100644
--- a/scripts/autolabel.lean
+++ b/scripts/autolabel.lean
@@ -89,7 +89,8 @@ def mathlibLabels : Array Label := #[
       "Mathlib" / "RingTheory",
       "Mathlib" / "GroupTheory",
       "Mathlib" / "RepresentationTheory",
-      "Mathlib" / "LinearAlgebra"] },
+      "Mathlib" / "LinearAlgebra"],
+    exclusions := #["Mathlib" / "Algebra" / "NonExistent"] },
   { label := "t-algebraic-geometry",
     dirs := #[
       "Mathlib" / "AlgebraicGeometry",
@@ -123,7 +124,7 @@ def mathlibLabels : Array Label := #[
       "Mathlib" / "Mathport",
       "Mathlib" / "Tactic",
       "Mathlib" / "Util"],
-    exclusions := #["Mathlib" / "Tactic" / "Linters"] },
+    exclusions := #["Mathlib" / "Tactic" / "Linter"] },
   { label := "t-number-theory" },
   { label := "t-order" },
   { label := "t-set-theory" },