From 8eb506620c373ee670872eb18286a128ea9b6023 Mon Sep 17 00:00:00 2001
From: gnzlbg <gonzalobg88@gmail.com>
Date: Thu, 21 Feb 2019 23:51:15 +0100
Subject: [PATCH] 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 3c987eab..3f4f3d1a 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)]
--
GitLab