aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Jorge Aparicio <jorge@japaric.io> 2020-05-26 22:16:31 +0200
committerGravatar Jorge Aparicio <jorge@japaric.io> 2020-05-26 22:16:31 +0200
commit303e964a1065fc8a1ef5e76ae8bffb27bcf0ef5e (patch)
treed6c8af1fb246e9daa094f85ea82623c838f7f84b
parent709e893d0055381a751b1ac34a43282f19912711 (diff)
downloadrtic-303e964a1065fc8a1ef5e76ae8bffb27bcf0ef5e.tar.gz
rtic-303e964a1065fc8a1ef5e76ae8bffb27bcf0ef5e.tar.zst
rtic-303e964a1065fc8a1ef5e76ae8bffb27bcf0ef5e.zip
touch src/lib.rs
-rw-r--r--src/lib.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lib.rs b/src/lib.rs
index 614ba853..98dd6157 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -164,6 +164,7 @@ pub trait Monotonic {
/// A marker trait that indicates that it is correct to use this type in multi-core context
pub trait MultiCore {}
+
/// Sets the given `interrupt` as pending
///
/// This is a convenience function around