aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorHenrik Tjäder <henrik@grepit.se>2022-02-18 19:58:21 +0100
committerHenrik Tjäder <henrik@grepit.se>2022-02-20 11:57:31 +0100
commit7eaf732c4c2839da0d352dfc080e107828cdadd4 (patch)
treedf50ac3011fe4e39b685c3fae83eb1f1645be3d9 /src
parent2c14c9bce3b22462cce982258ddecb53df16ab49 (diff)
Provide Mutex relative to prelude to fix doc linking issues coming from rtic-core
Diffstat (limited to 'src')
-rw-r--r--src/lib.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lib.rs b/src/lib.rs
index d3195a6..871141f 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -45,6 +45,7 @@ pub use rtic_monotonic::{self, Monotonic};
/// module `mutex::prelude` provides `Mutex` and multi-lock variants. Recommended over `mutex_prelude`
pub mod mutex {
pub use rtic_core::prelude;
+ pub use rtic_core::Mutex;
}
#[doc(hidden)]