exclude signers for eurydice

wysiwys · wysiwys · commit 5d3e2a2c101e · 2025-08-26T16:46:45.000+02:00
diff --git a/libcrux-ml-dsa/src/impl_signature_trait.rs b/libcrux-ml-dsa/src/impl_signature_trait.rs
@@ -1,3 +1,4 @@
+#[cfg(not(eurydice))]
 #[cfg_attr(hax, hax_lib::exclude)]
 pub mod signers {
     //! [`libcrux_traits::signature`] APIs.

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+#[cfg(not(eurydice))]`
`1`	`2`	`#[cfg_attr(hax, hax_lib::exclude)]`
`2`	`3`	`pub mod signers {`
`3`	`4`	//! [`libcrux_traits::signature`] APIs.