Merge pull request #383 from hacspec/franziskus/properly-disable-debu…

…g-asserts-in-lib disable debug asserts in lib
cryspen · Dec 6, 2023 · fea5dbc · fea5dbc
2 parents 156f523 + 3e53dc8
commit fea5dbc
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/hax-lib/src/lib.rs b/hax-lib/src/lib.rs
@@ -24,6 +24,16 @@ macro_rules! proxy_macro_if_not_hax {
         $f($cond)
     };
 }
+
+#[cfg(not(debug_assertions))]
+#[doc(hidden)]
+#[cfg(not(hax))]
+#[macro_export]
+macro_rules! proxy_macro_if_not_hax {
+    ($macro:path, $f:expr, $($arg:tt)*) => {};
+}
+
+#[cfg(debug_assertions)]
 #[doc(hidden)]
 #[cfg(not(hax))]
 #[macro_export]