From 8eb506620c373ee670872eb18286a128ea9b6023 Mon Sep 17 00:00:00 2001 From: gnzlbg Date: Thu, 21 Feb 2019 23:51:15 +0100 Subject: Unnecessary pub use when private module use is available --- src/lib.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lib.rs b/src/lib.rs index 3c987eab80..3f4f3d1aeb 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -54,13 +54,13 @@ cfg_if! { use core::mem; #[doc(hidden)] #[allow(unused_imports)] - pub use core::clone::Clone; + use core::clone::Clone; #[doc(hidden)] #[allow(unused_imports)] - pub use core::marker::Copy; + use core::marker::Copy; #[doc(hidden)] #[allow(unused_imports)] - pub use core::option::Option; + use core::option::Option; } else { #[doc(hidden)] #[allow(unused_imports)] -- cgit v1.2.1