From bbc873622d10395b294dfc6b31f53bb1a0a8c24b Mon Sep 17 00:00:00 2001
From: Jonas Schievink <jonasschievink@gmail.com>
Date: Fri, 22 Sep 2017 13:45:28 +0200
Subject: [PATCH] Hide `UntaggedOption` reexport
---
src/lib.rs | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/lib.rs b/src/lib.rs
index ac95544..4ab8ec5 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -87,7 +87,9 @@ use core::u8;
pub use rtfm_core::{Resource, Static, Threshold};
pub use cortex_m::asm::{bkpt, wfi};
pub use cortex_m_rtfm_macros::app;
+#[doc(hidden)]
pub use untagged_option::UntaggedOption;
+
use cortex_m::interrupt::{self, Nr};
#[cfg(not(armv6m))]
use cortex_m::register::basepri;
--
GitLab