update autolabel.sh

YaelDillies · YaelDillies · commit f171e07d07f0 · 2026-05-25T16:26:40.000+02:00
diff --git a/scripts/autolabel.lean b/scripts/autolabel.lean
@@ -201,6 +201,7 @@ def mathlibLabelData : (l : Label) → LabelData l
     dependencies := #[.«t-algebra»] }
   | .«t-data» => {
     dirs := #[
+      "Mathlib" / "Basic",
       "Mathlib" / "Control",
       "Mathlib" / "Data"] }
   | .«t-differential-geometry» => {
