diff --git a/c2rust-asm-casts/src/lib.rs b/c2rust-asm-casts/src/lib.rs
index b13bf34bc3..745367a383 100644
--- a/c2rust-asm-casts/src/lib.rs
+++ b/c2rust-asm-casts/src/lib.rs
@@ -1,4 +1,5 @@
-use std::marker::PhantomData;
+#![no_std]
+use core::marker::PhantomData;
 
 /// Pseudo-structure that provides the inner type definition
 /// and cast functions for every pair of types used