diff --git a/MathlibTest/LintStyle2.lean b/MathlibTest/LintStyle2.lean
deleted file mode 100644
index 70a8a5bbb38ab9..00000000000000
--- a/MathlibTest/LintStyle2.lean
+++ /dev/null
@@ -1,6 +0,0 @@
-import MathlibTest.LintStyle
-
-/-! Test for calling lint-style with its default options: this file has intentional style
-lint errors. -/
-
-set_option profiler.threshold 50