From 95e75ed0cb9907668b9f70c06b35a2c48ff0ce13 Mon Sep 17 00:00:00 2001
From: Jonas Schneider-Bensch <jonas@cryspen.com>
Date: Tue, 7 Jan 2025 15:37:32 +0100
Subject: [PATCH] Fix multiplexing

---
 libcrux-ml-dsa/src/ml_dsa_generic/multiplexing.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libcrux-ml-dsa/src/ml_dsa_generic/multiplexing.rs b/libcrux-ml-dsa/src/ml_dsa_generic/multiplexing.rs
index 97ee259d1..d297e0095 100644
--- 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,
             };