diff --git a/libcrux-hacl-rs/src/util.rs b/libcrux-hacl-rs/src/util.rs index 71efc9ccd..035d286e2 100644 --- a/libcrux-hacl-rs/src/util.rs +++ b/libcrux-hacl-rs/src/util.rs @@ -1,2 +1 @@ pub mod inttypes_intrinsics; -pub mod memzero0; diff --git a/libcrux-hacl-rs/src/util/memzero0.rs b/libcrux-hacl-rs/src/util/memzero0.rs deleted file mode 100644 index 180827a53..000000000 --- a/libcrux-hacl-rs/src/util/memzero0.rs +++ /dev/null @@ -1,6 +0,0 @@ -pub fn memzero(x: &mut [T], len: u32) { - let zero: T = unsafe { std::mem::zeroed() }; - for i in 0..len { - x[i as usize] = zero; - } -}