From 9f92cd2784bc60f58cc9df3094caa84b894a07a7 Mon Sep 17 00:00:00 2001
From: "Jan Winkelmann (keks)" <jan@cryspen.com>
Date: Thu, 7 Nov 2024 16:35:11 +0100
Subject: [PATCH] remove unuzed generated memzero function

---
 libcrux-hacl-rs/src/util.rs          | 1 -
 libcrux-hacl-rs/src/util/memzero0.rs | 6 ------
 2 files changed, 7 deletions(-)
 delete mode 100644 libcrux-hacl-rs/src/util/memzero0.rs

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<T: Copy>(x: &mut [T], len: u32) {
-    let zero: T = unsafe { std::mem::zeroed() };
-    for i in 0..len {
-        x[i as usize] = zero;
-    }
-}