Silence deprecation warning from pub-use

RIOT-OS · Oct 13, 2023 · c7376d3 · c7376d3
1 parent 09ce8e6
commit c7376d3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/thread.rs b/src/thread.rs
@@ -23,6 +23,7 @@ pub use riot_c::*;
 mod tokenparts;
 #[cfg(doc)]
 pub use tokenparts::TokenParts;
+#[allow(deprecated)]
 pub use tokenparts::{EndToken, InIsr, InThread, StartToken, TerminationToken, ValueInThread};
 
 mod stack_stats;