introduce typo

leanprover-community · Sep 26, 2024 · 33b609a · 33b609a
1 parent 8fdf59c
commit 33b609a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/autolabel.lean b/scripts/autolabel.lean
@@ -89,7 +89,7 @@ def mathlibLabels : Array Label := #[
       "Mathlib" / "RingTheory",
       "Mathlib" / "GroupTheory",
       "Mathlib" / "RepresentationTheory",
-      "Mathlib" / "LinearAlgebra"] },
+      "Mathlib" / "LinearAlgebras"] },
   { label := "t-algebraic-geometry",
     dirs := #[
       "Mathlib" / "AlgebraicGeometry",