Remove warning for bare-metal targets

cryspen · Oct 31, 2024 · 362ec64 · 362ec64
1 parent 5f468f6
commit 362ec64
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/libcrux/libcrux-platform/src/lib.rs b/libcrux/libcrux-platform/src/lib.rs
@@ -54,6 +54,7 @@ mod platform {
 
 #[cfg(not(hax))]
 mod platform {
+    #[cfg(not(target_os = "none"))]
     use super::*;
 
     // TODO: Check for z14 or z15