diff --git a/hax-lib/src/dummy.rs b/hax-lib/src/dummy.rs
index 7013b28a9..e3fccc22f 100644
--- a/hax-lib/src/dummy.rs
+++ b/hax-lib/src/dummy.rs
@@ -4,6 +4,8 @@ pub use abstraction::*;
 mod prop;
 use prop::*;
 
+use int::*;
+
 #[cfg(feature = "macros")]
 pub use crate::proc_macros::*;