Fix warnings

cryspen · Oct 29, 2024 · c4fb85c · c4fb85c
1 parent 44af027
commit c4fb85c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/libcrux-ml-dsa/Cargo.toml b/libcrux-ml-dsa/Cargo.toml
@@ -50,3 +50,8 @@ harness = false
 [[bench]]
 name = "ml-dsa"
 harness = false
+
+[lints.rust]
+unexpected_cfgs = { level = "warn", check-cfg = [
+    'cfg(hax)',
+] }
diff --git a/libcrux-ml-dsa/src/hash_functions.rs b/libcrux-ml-dsa/src/hash_functions.rs
@@ -381,7 +381,6 @@ pub(crate) mod simd256 {
 
     use super::{shake128, shake256};
     use libcrux_sha3::avx2::x4;
-    use libcrux_sha3::portable;
 
     /// AVX2 SHAKE 128 state
     ///