crates/sel4-panicking: Address warning

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 28, 2024 · 689b535 · 689b535
1 parent a7c4ff0
commit 689b535
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/crates/sel4-panicking/src/strategy/unwind/without_alloc.rs b/crates/sel4-panicking/src/strategy/unwind/without_alloc.rs
@@ -56,6 +56,7 @@ pub(crate) fn start_panic(payload: Payload) -> i32 {
 
     assert!(CURRENT_PAYLOAD.replace(Some(payload)).is_none());
 
+    #[allow(static_mut_refs)]
     unsafe {
         assert!(!CURRENT_EXCEPTION.exception_present);
         CURRENT_EXCEPTION = CurrentException {