crates/private/meta: Fix link in rustdoc

seL4 · Sep 14, 2023 · c88aeb6 · c88aeb6
1 parent 1d356ba
commit c88aeb6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/private/meta/src/lib.rs b/crates/private/meta/src/lib.rs
@@ -28,7 +28,7 @@
 //!   - [`sel4_root_task`]: A runtime for root tasks that supports thread-local storage and
 //!     unwinding, and provides a global allocator.
 //! - **seL4 Microkit**:
-//!   - [`sel4-microkit`]: A runtime for [seL4 Microkit](https://github.com/seL4/microkit)
+//!   - [`sel4_microkit`]: A runtime for [seL4 Microkit](https://github.com/seL4/microkit)
 //!     protection domains, including an implementation of libmicrokit and abstractions for IPC.
 
 macro_rules! maybe {