small fix

PLSysSec · Oct 30, 2023 · ed984ed · ed984ed
1 parent 152ed74
commit ed984ed
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -22,6 +22,7 @@ pub mod tcb;
 mod tests;
 pub mod types;
 pub mod verifier_interface;
+#[allow(unreachable_code)]
 #[cfg(not(feature = "verify"))] // TODO: verify this final ffi layer
 pub mod wasm2c_frontend;
 mod writeback;