diff options
author | bors <bors@rust-lang.org> | 2019-02-22 09:38:16 +0000 |
---|---|---|
committer | bors <bors@rust-lang.org> | 2019-02-22 09:38:16 +0000 |
commit | 8c571e0ce930d726322a0b02e69f5dc0b8b9ca74 (patch) | |
tree | a0e713940bf290e063460da30b8971727b1583a1 | |
parent | fecc1fd607a55c3602eacb0b27c35db46feb6943 (diff) | |
parent | 8eb506620c373ee670872eb18286a128ea9b6023 (diff) | |
download | rust-libc-8c571e0ce930d726322a0b02e69f5dc0b8b9ca74.tar.gz |
Auto merge of #1269 - gnzlbg:fix_cp_pub, r=gnzlbg
Unnecessary pub use when private module use is available
Addresses part of #1266
-rw-r--r-- | src/lib.rs | 6 |
1 files 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)] |