From dce7248a39e7f8907cb9c5cfe719f6f63da1fa1f Mon Sep 17 00:00:00 2001
From: Lzu Tao <taolzu@gmail.com>
Date: Fri, 4 Sep 2020 09:41:03 +0000
Subject: [PATCH] Remove unneeded tidy comment

---
 library/core/src/str/mod.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/library/core/src/str/mod.rs b/library/core/src/str/mod.rs
index f30e4786970..3e18a4e7062 100644
--- a/library/core/src/str/mod.rs
+++ b/library/core/src/str/mod.rs
@@ -1,5 +1,3 @@
-// ignore-tidy-filelength
-
 //! String manipulation.
 //!
 //! For more details, see the [`std::str`] module.