diff --git a/Cargo.lock b/Cargo.lock
index 22f9263f8..e6ef7dc45 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -550,6 +550,9 @@ dependencies = [
 [[package]]
 name = "hax-lib"
 version = "0.1.0-pre.1"
+dependencies = [
+ "hax-lib-macros",
+]
 
 [[package]]
 name = "hax-lib-macros"
diff --git a/hax-lib/Cargo.toml b/hax-lib/Cargo.toml
index 0d8b94bc7..43de0e731 100644
--- a/hax-lib/Cargo.toml
+++ b/hax-lib/Cargo.toml
@@ -12,3 +12,4 @@ description = "Hax-specific helpers for Rust programs"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+hax-lib-macros = {path = "../hax-lib-macros"}
diff --git a/hax-lib/src/lib.rs b/hax-lib/src/lib.rs
index b649535d9..34dd40b18 100644
--- a/hax-lib/src/lib.rs
+++ b/hax-lib/src/lib.rs
@@ -129,3 +129,5 @@ pub fn exists<T>(_f: impl Fn(T) -> bool) -> bool {
 pub fn implies(lhs: bool, rhs: impl Fn() -> bool) -> bool {
     !lhs || rhs()
 }
+
+pub use hax_lib_macros::*;