Fix multiplexing

cryspen · Jan 7, 2025 · 95e75ed · 95e75ed
1 parent da62157
commit 95e75ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libcrux-ml-dsa/src/ml_dsa_generic/multiplexing.rs b/libcrux-ml-dsa/src/ml_dsa_generic/multiplexing.rs
@@ -44,7 +44,7 @@ macro_rules! parameter_set {
             };
 
             #[cfg(all(not(feature = "simd256"), feature = "acvp", feature = $feature))]
-            use instantiations::portable::{
+            use instantiations::portable::$parameter_module::{
                 sign_internal as sign_internal_avx2, verify_internal as verify_internal_avx2,
             };