Silence flexiber warnings

trussed-dev · Dec 16, 2024 · d14f5b9 · d14f5b9
1 parent 368cf21
commit d14f5b9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -15,6 +15,8 @@
 
 // Temporarily disabled until documentation coverage is improved.
 #![allow(clippy::missing_safety_doc)]
+// Generated by flexiber: https://github.com/trussed-dev/flexiber/issues/6
+#![allow(non_local_definitions)]
 
 #[macro_use]
 extern crate delog;