aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Schievink <jonasschievink@gmail.com>2017-09-22 13:45:28 +0200
committerJonas Schievink <jonasschievink@gmail.com>2017-09-22 13:45:28 +0200
commitbbc873622d10395b294dfc6b31f53bb1a0a8c24b (patch)
treed0b786f621ccb2188712c2a765e6d5841a196048
parentee59e8711f57d0702d16ce2785b3b52f475e7ae2 (diff)
Hide `UntaggedOption` reexport
-rw-r--r--src/lib.rs2
1 files changed, 2 insertions, 0 deletions
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;